2 tcfail071.hs:10: Couldn't match the signature/existential type variable
3 `taEm' with the type `taEz -> taEw -> taEw'
5 Inferred: `taEz -> taEw -> taEw'
6 In the first argument of `f', namely `c'
7 In the first argument of `foldr', namely `(f c)'
8 In a pattern binding: `p = foldr (f c) [] []'
10 tcfail071.hs:8: Mismatched contexts
11 When matching the contexts of the signatures for `f' and `g'
12 (the signature contexts in a mutually recursive group should all be identical)
14 Compilation had errors