tcfail047.hs:7:
    Illegal instance declaration for `A (a, (b, c))'
	(the instance type must be of form (T a b c)
	 where T is not a synonym, and a,b,c are distinct type variables)


Compilation had errors