rank 2-polymorphism and type checking
Wed, 24 Oct 2001 17:20:35 +0200
> So I'm interested to know: if GHC allowed arbitrarily-ranked types, who
> would use them?
For Generic Haskell and for Generic Programming problems in general,
arbitarily-ranked types would make life much easier. Therefore I guess
that a couple of people here at Utrecht (including me) would highly
appreciate such an extension.
Andres Loeh, Universiteit Utrecht