class P1 = std::identity, class P2 = std::identity >
concept indirectly_comparable =

std::indirect_binary_predicate<R, std::projected<I1, P1>, std::projected<I2, P2>>;