1 {- This test gives the following not-very-wonderful error message.
3 "tc_sig.hs", line 3: Type signature does not match the inferred type:
7 It *is* an error, because x does not have the polytype
8 forall a. Eq a => a -> Int
9 becuase it is monomorphic, but the error message isn't very illuminating.
14 f x = (x :: (Eq a) => a -> Int)