-tcfail071.hs:8:
+tcfail071.hs:5:
Mismatched contexts
- When matching the contexts of the signatures for `f' and `g'
+ When matching the contexts of the signatures for `g' and `f'
(the signature contexts in a mutually recursive group should all be identical)
tcfail071.hs:10:
Inferred type: c
In the first argument of `f', namely `c'
In the first argument of `foldr', namely `(f c)'
-
-Compilation had errors
-