ghc/tests/typecheck/should_fail/tcfail071.stderr

   1
   2 tcfail071.hs:8:
   3     Type signature doesn't match inferred type
   4         Signature: c -> c
   5         Inferred : (aNf -> [aNd] -> [aNd]) -> aNf -> [aNd] -> [aNd]
   6     When checking the type signature for `g'
   7
   8
   9 Compilation had errors