ghc/tests/typecheck/should_fail/tcfail016.stderr

   1
   2 tcfail016.hs:9:
   3     Couldn't match `Expr a' against `AnnExpr a'
   4         Expected type: Expr a
   5         Inferred type: AnnExpr a
   6     In the first argument of `g', namely `e1'
   7     In the first argument of `(++)', namely `(g e1)'