> 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. Best, Andres -- Andres Loeh, Universiteit Utrecht mailto:[EMAIL PROTECTED] mailto:[EMAIL PROTECTED] http://www.andres-loeh.de _______________________________________________ Haskell mailing list [EMAIL PROTECTED] http://www.haskell.org/mailman/listinfo/haskell
