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