tcfail042.hs:18: Context `{Num taFC}'
		     required by inferred type, but missing on a type signature
		     `Num taFC' arising from an instance declaration at tcfail042.hs:18
    When checking superclass constraints of an instance declaration

Compilation had errors