P1716R3

ranges comparison algorithms are over-constrained