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