The following does not work:

data Foo a where {Foo :: (->) a (Foo a)}