data List a = Nil | Cons a (List a)

foo :: List
foo = foo
--
4:8-4:12: Expected a type with kind * but got * -> *.