Yes, impredicative types are still in, but in a simpler form than before, along
the lines of QML
http://research.microsoft.com/en-us/um/people/crusso/qml/
I have been too busy with getting the new type checker working to describe or
document it. Notably, I have not yet added syntax for QML's ri
Cafe; glasgow-haskell-users@haskell.org
| Subject: Re: [Haskell-cafe] Impredicative Types
|
| Awesome, thank you. :-) One more question out of pure curiosity, if
| you have the time: What is allowing you to keep them in? I thought
| that the problem was that they made a mess that touched