19 Feb
2014
19 Feb
'14
7:07 a.m.
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