3 Ambiguous constraint `Eq a'
4 for the type: {Eq Bool}
5 Each forall'd type variable mentioned by the constraint must appear after the =>
8 Ambiguous constraint `Eq a'
9 for the type: Int -> Int
10 Each forall'd type variable mentioned by the constraint must appear after the =>
12 Compilation had errors