
tcfail016.hs:9:20:
    Couldn't match expected type `Expr t0'
                with actual type `(t0, Expr t0)'
      Expected type: Expr t0
        Actual type: AnnExpr t0
    In the first argument of `g', namely `e1'
    In the first argument of `(++)', namely `(g e1)'
