-
-tcfail010.hs:3:
- Cannot resolve the ambiguous context (Num [aGb])
- `Num [aGb]' arising from the literal `2', at tcfail010.hs:3
-
-Compilation had errors
+tcfail010.hs:3:
+ Ambiguous type variable(s) `t' in the constraint `Num [t]'
+ arising from use of `+' at tcfail010.hs:3
+ In the right-hand side of a lambda abstraction: z + 2