Rank-N types
Revision as of 12:05, 9 July 2007 by MathematicalOrchid (talk | contribs) (Can somebody add some content here?)
The printable version is no longer supported and may have rendering errors. Please update your browser bookmarks and please use the default browser print function instead.
About
As best as I can tell, rank-N types are exactly like existential types - except that they're completely different.
Rank-2 types are a special case of rank-N types, and normal Haskell 98 types are all rank-1 types.
Also see
Rank-N types on the Haskell' website.