[Haskell] QuickCheck & GADTs