The following does not work:<br><br>data Foo a where {Foo :: (->) a (Foo a)}<br><br>Someone please file a bug for me, I can't on my computer.