Handle Eq consistently with similar typeclasses.
Concision and location.