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