[Haskell-cafe] Re: Typeclass question

Benjamin Franksen benjamin.franksen at bessy.de
Wed Dec 6 17:03:24 EST 2006

Stefan O'Rear wrote:
> [...]
> Unfortunately, it turns out that
> allowing foralls inside function arguments makes typechecking much
> harder, in general impossible.

Just a tiny correction: AFAIK, it is type /inference/ which becomes
undecidable in the presence of higher rank types -- checking works just
fine (it could be true that it's harder, though).


More information about the Haskell-Cafe mailing list