The following does not work:
data Foo a where {Foo :: (->) a (Foo a)}
Someone please file a bug for me, I can't on my computer.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.haskell.org/pipermail/haskell-cafe/attachments/20140510/8b99ce1e/attachment.html>