tcfail032.hs:14:
    A type signature is more polymorphic than the inferred type
	Can't for-all the type variable(s) `a'
	in the type `a -> Int'
    In an expression with a type signature:
	  x :: _forall_ [a] (PrelBase.Eq a) => a -> Int


Compilation had errors