[Haskell-cafe] Solved but strange error in type inference

Yucheng Zhang yczhang89 at gmail.com
Wed Jan 4 13:59:03 CET 2012

On Wed, Jan 4, 2012 at 8:15 PM, Yucheng Zhang <yczhang89 at gmail.com> wrote:
> I expected the type of 'x' to be universally quantified, and thus can be unified
> with 'forall a. a' with no problem.

I've never been thinking in a detailed level, and the 'x' appears to be able to
take any type, and thus the wrong expectation.

Thanks for all the input from all.

More information about the Haskell-Cafe mailing list