> One modest extension we could make to the Haskell type system is
>
> to permit polymorphic recursion if
> a type signature is provided
...
> This program looks a little odd, but I can personally testify to having
> tripped over this problem in programs that I Really Wanted to write.
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
>
> I propose we adopt the extension for Haskell 1.3.
In the interests of keeping things (ie, the haskell type system)
as simple as possible, I would vote (if I had a vote) against this
proposal. Unless, of course, I was persuaded that the extension was
Really Useful. So Simon: what were those programs?
Sebastian
