[Haskell-beginners] DataKinds and GADTs question?

Velichko Lefterov velichko.lefterov at gmail.com
Thu Jun 10 11:15:51 UTC 2021


I tried to understand DataKinds and GADTs...
Is there a difference between:

data MyType :: Type -> Type where
  MyTypeConstructor :: Int -> MyType Int

data MyType2 a where
  MyTypeConstructor2 :: Int -> MyType2 Int
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/beginners/attachments/20210610/df79a5f2/attachment.html>


More information about the Beginners mailing list