In Eq instance exercise hide the fact that Eq a => is required
Expand similarities with Java