[Haskell-cafe] Are arbitrary rank types and existentials equivalent?

Loup Vaillant loup.vaillant at gmail.com
Sun Nov 9 18:04:27 EST 2008

Thank you, everyone. You have addressed my concerns very accurately.
So in short, higer rank types subsume existentials. Good. And the burden
of emulating existentials can be lowered by a suitable macro system.
Very good.

2008/11/9 Derek Elkins <derek.a.elkins at gmail.com>:
> There are various rules for moving quantifiers around.  Any text on
> intuitionistic predicate logic should list the rules.

Err, where can I find such texts? I don't even understand
"intuitionistic predicate logic" :-(


More information about the Haskell-Cafe mailing list