ghc/tests/typecheck/should_fail/tcfail032.stderr

   1
   2 tcfail032.hs:14: A type signature is more polymorphic than the inferred type
   3                      Can't for-all the type variable(s) `taDB'
   4                      in the inferred type `taDB -> Int'
   5     In an expression with a type signature:
   6         `x :: _forall_ [a] (Eq a) => a -> Int'
   7
   8 Compilation had errors