[Haskell-beginners] DataKinds and GADTs question?

[Velichko Lefterov]

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>