| since this claims that it will take a Bool and produce a value of type
b
| for all types b. However, would it be all right to say (in
| pseudo-Haskell):
|
| > f :: exists b . Bool -> b
| > f x = x
But this is a singularly useless function, because it produces a result
of utterly unknown type, so you can't actually use it. For example you
could not say
f x + 4
Simon
_______________________________________________
Haskell mailing list
[EMAIL PROTECTED]
http://www.haskell.org/mailman/listinfo/haskell
