-
-tcfail071.hs:8:
- Inferred type is less polymorphic than expected
- Quantified type variable `c' is unified with `$a -> [$0] -> [$0]'
- When checking the type signature for `g'
- Signature: c -> c
- Inferred: ($a -> [$0] -> [$0]) -> $a -> [$0] -> [$0]
+tcfail071.hs:5:
+ Mismatched contexts
+ When matching the contexts of the signatures for `g' and `f'
+ (the signature contexts in a mutually recursive group should all be identical)
-Compilation had errors
+tcfail071.hs:10:
+ Cannot unify the type-signature variable `c'
+ with the type `a -> b -> b'
+ Expected type: a -> b -> b
+ Inferred type: c
+ In the first argument of `f', namely `c'
+ In the first argument of `foldr', namely `(f c)'