rnfail014.hs:8:
Ambiguous constraint `Eq a'
- for the type: {Eq Bool}
- Each forall'd type variable mentioned by the constraint must appear after the =>
+ in the type: Eq Bool
+ Each forall-d type variable mentioned by the constraint must appear after the =>.
+ In the type signature for an instance decl
rnfail014.hs:12:
Ambiguous constraint `Eq a'
- for the type: Int -> Int
- Each forall'd type variable mentioned by the constraint must appear after the =>
+ in the type: Int -> Int
+ Each forall-d type variable mentioned by the constraint must appear after the =>.
+ In the type signature for `f'
+
+rnfail014.hs:17:
+ All of the type variable(s) in the constraint `Eq a' are already in scope
+ At least one must be universally quantified here
+ In the type signature for `op'
Compilation had errors