[Haskell] Type Lambdas in Gofer

[Stefan Holdermans]

-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1

- -----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1

Wolfgang,

>>> Why did Gofer have this power while Haskell does not?

> Quite probably they never bothered to test it.

More probably ;-) they did test it and just swept it under the carpet  
in order not to pollute the paper with this detail. From a  
theoretical point of view, one could argue that it indeed does not  
matter all that much here.

Cheers,

   Stefan
- -----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.5 (Darwin)

iD8DBQFGsMcQX0lh0JDNIpwRAsGfAJ9q01MGgxY0/xuQSVuEVcIbrdMvmgCffYrS
OVgdcXXgDpcneXGxAw+VF4g=
=EeQ2
- -----END PGP SIGNATURE-----
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.5 (Darwin)

iD8DBQFGsMcUX0lh0JDNIpwRAicdAKCA66w62+V+yKRpYjV86BbnNSMQpwCcDghZ
t+G0sPzvIfdVaSO5pLLwNos=
=H1MX
-----END PGP SIGNATURE-----