ghc/compiler/tests/typecheck/should_fail/tcfail032.stderr

   1
   2 "tcfail032.hs", line 14: Type signature is too polymorphic:
   3     Signature: a -> Int
   4     Monomorphic type variables: a
   5     In an expression with a type signature: x:: a -> Int
   6 Fail: Compilation errors found
   7
   8 ghc: execution of the Haskell compiler had trouble