[Haskell-cafe] Re: Typeclass question
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