[Haskell-cafe] Existential quantification of environments.

Wolfgang Jeltsch wolfgang at jeltsch.net
Tue Nov 22 10:55:58 EST 2005


Am Dienstag, 22. November 2005 11:39 schrieb Keean Schupke:
> [...]

> This seems to suggest:
>
>     Add a == exists (add :: a -> a -> a)

Doesn't "exists" normally quantify over types and not over values?

> [...]

Best wishes,
Wolfgang


More information about the Haskell-Cafe mailing list