On Wed, Jan 4, 2012 at 8:15 PM, Yucheng Zhang <yczhan...@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. _______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe