<div dir="ltr"><div>I tried to understand DataKinds and GADTs...</div><div>Is there a difference between:</div><div><br></div>data MyType :: Type -> Type where<br>  MyTypeConstructor :: Int -> MyType Int<br><br>data MyType2 a where<br>  MyTypeConstructor2 :: Int -> MyType2 Int<br><div><br></div><div><br></div></div>