tcfail032.hs:14: Inferred type is less polymorphic than expected Quantified type variable `a' escapes It is mentioned in the environment: x :: a -> Int (bound at tcfail032.hs:14) In the definition of `f': (x :: forall a. (Eq a) => a -> Int)