Use quantified superclass of Eq1/Ord1 to derive instance when available

[phadej]

No description provided.

[Bodigrim]

Shall NFData / Read / Show get the same treatment?

[phadej]

Read and Show: I don't see a point. Neither should be performance critical.

NFData is different, I think I'll add it, with deepseq >= 1.5 and GHC >=8.6 (soft-implied by deepseq >=1.5 constraint already). Which in practice will also be GHC-9.6+ thing (as no-one really upgrades deepseq).

Sadly, Hashable1 cannot be made the same, as Hashable1 has the Eq1 superconstraint, and it's powerful enough only with GHC-9.6+; and bringing hashables lower bound support that high right now is probably too soon.