[Haskell-cafe] Are arbitrary rank types and existentials equivalent?
loup.vaillant at gmail.com
Sun Nov 9 07:46:08 EST 2008
Maybe one subsumes the other?
What I want to know is if there is an easy way to emulate one with the
other, and how much convenience is lost in doing so.
For instance, is it possible to implement stream fusion with rank2
types, or the ST monad with existantials?
Is there any paper discussing this kind of things?
More information about the Haskell-Cafe