State of -XImpredicativeTypes

Merijn Verstraaten merijn at
Wed Feb 19 12:07:25 UTC 2014

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?

-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 801 bytes
Desc: Message signed with OpenPGP using GPGMail
URL: <>

More information about the Glasgow-haskell-users mailing list