+
+tcfail042.hs:16: tcfail042.hs:16: Context required by inferred type, but missing on a type signature:
+ in an instance declaration
+ `PrelBase.Num' `a{-aN7-}'
+ When checking superclass constraints of an instance declaration
+
+tcfail042.hs:4: Module Main must include a definition for `Main.main'
+
+
+Compilation had errors