14 May
2007
14 May
'07
10:29 a.m.
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...