[Haskell-cafe] Impredicative Types

[Gregory Crosswhite]

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?

Cheers,
Greg
_______________________________________________
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe