How to project elements nestedly in c++20 constrained algorithms?

Question

Suppose I have a std::vector of std::pairs, then I can using c++20 constrained algorithm\'s projection facility to sort elements according to sub-o