[Haskell-cafe] Haskell type system and the lambda cube

[voigt at tcs.inf.tu-dresden.de]

> 2009/5/24 Petr Pudlak <deb at pudlak.name>:
> If all Haskell had would be HM, it would be System F.

That cannot be quite right, can it? System F has more powerful
polymorphism than HM.

Ciao,
Janis.