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 : (aG1 -> [aG6] -> [aG6]) -> aG1 -> [aG6] -> [aG6]
   6         When checking the type signature for `g'
   7
   8
   9 Compilation had errors