--- /dev/null
+
+"tcfail032.hs", line 14: Type signature is too polymorphic:
+ Signature: a -> Int
+ Monomorphic type variables: a
+ In an expression with a type signature: x:: a -> Int
+Fail: Compilation errors found
+
+ghc: execution of the Haskell compiler had trouble