Making my life easier with GADTs - haskell | Upit