tcfail065.hs:29: A type signature is more polymorphic than the inferred type
		     Can't for-all the type variable(s) `taIg'
		     in the inferred type `taIg -> X taIg -> X taIg'
    When checking signature for `setX'

Compilation had errors