Christopher L Conway wrote:
The inference assigns y the type (t1 -> t1) even though it is assigned the value 3?
Yes, because type classes are open, and maybe you will demonstrate some way to make t1->t1 an instance of Num.
Note the Num (t1 -> t1) constraint in the type... _______________________________________________ Haskell-Cafe mailing list [email protected] http://www.haskell.org/mailman/listinfo/haskell-cafe
