fundeps known beforehand (was RE: fundeps for extended Monad definition)

[Simon Peyton-Jones]

| 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):
|=20
| > f :: exists b . Bool -> b
| > f x =3D 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