data List a = Nil | Cons a List

--
2:28-2:32: Expected a type with kind * but got ?a -> *.