Combinators for ReadP

[Malcolm Wallace]

"Simon Marlow" <simonmar at microsoft.com> writes:

> Incedentally, universal quantification in constructor fields is one of the
> easier extensions to implement.  Much easier than multi-parameter type
> classes, for example.  You don't have to go the whole hog and implement
> rank-N polymorphism ala GHC in order to get most of the benefit.

Contributions of code to nhc98's type checker will be gratefully
accepted...  :-)

Regards,
    Malcolm