2 tcfail016.hs:9: Couldn't match the type `Expr' against `(,) taUk'
3 Expected: `AnnExpr taUk'
5 In the first argument of `g', namely `e1'
6 In the first argument of `++', namely `(g e1)'
7 In an equation for function `g': `g (App e1 e2) = (g e1) ++ (g e2)'