Named impl with Implementation Selection Variant

Your last example could just forbid the cast from SortedList<(i32, i32)> to SortedList<(i32, i32) + PartialOrd use SortBy1>

No, casting is the core part. And it's almost impossible to disable special cast.