index-pair-like(C++26)

template<class T, class IndexType>
concept index-pair-like =                        // exposition only
  pair-like<T> &&
  convertible_to<tuple_element_t<0,T>, IndexType> &&
  convertible_to<tuple_element_t<1,T>, IndexType>;