[Haskell-cafe] Impredicative Types

Gregory Crosswhite gcross at phys.washington.edu
Fri Nov 19 14:23:12 EST 2010

Hey everyone!  I haven't had a chance to try out GHC 7 myself, but I saw 
in the documentation that Impredicative Types are still supported.  Is 
this true?  I thought that they were on their way out because they 
overcomplicated type checking;  has this plan been changed?


More information about the Haskell-Cafe mailing list