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