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