-tcfail042.hs:16: Context `{PrelBase.Num taHH}'
- required by inferred type, but missing on a type signature
- `PrelBase.Num taHH' arising from an instance declaration at tcfail042.hs:16
- When checking superclass constraints of an instance declaration
-
-tcfail042.hs:4: Module Main must include a definition for `Main.main'
+tcfail042.hs:18:
+ No instance for: `Num a'
+ arising from an instance declaration, at tcfail042.hs:18
+ Available context: (Foo [a])
+ From the superclasses of the instance declaration
+
Compilation had errors