[zozbot234]

You can solve this in the general case by implementing the typeclass for the coarser equality relation over an ad-hoc wrapper newtype.

[hurril]

Well it isn't a good call. This is the kind of code that OOP makes people write.