If we auto-derived Ord it would look at Pair::0 first, when it should look at Pair::1. Hence the custom implementation.