rnfail014.hs:8:
    Ambiguous constraint `Eq a'
	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'
	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