10 Jun
2021
10 Jun
'21
2:15 p.m.
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