Lectori salutem, What is the actual state of ImpredicativeTypes? It appears documented as a "properly" finished GHC extension, but on IRC and other places I keep hearing it's poorly tested, buggy or incomplete. Is this true or just FUD?
Cheers, Merijn
signature.asc
Description: Message signed with OpenPGP using GPGMail
_______________________________________________ Glasgow-haskell-users mailing list Glasgow-haskell-users@haskell.org http://www.haskell.org/mailman/listinfo/glasgow-haskell-users