Re: [Haskell-cafe] Existential quantification of environments.

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