-
-tcfail010.hs:3:
- Ambiguous type variable(s)
- `aME'
- in the constraint `Num [aME]'
- arising from the literal `2' at tcfail010.hs:3
-
-Compilation had errors
+tcfail010.hs:3:
+ No instance for `Num [t]'
+ arising from the literal `2' at tcfail010.hs:3
+ In the second argument of `(+)', namely `2'
+ in a lambda abstraction: z + 2