template <class Lhs, class Rhs>
requires(Lhs& lhs, const Rhs& rhs) {
{ lhs %= rhs } -> std::same_as<void>;
}