template <class Lhs>
requires(Lhs& lhs /* TODO: , u32 rhs */) {
{ lhs >>= 2u } -> std::same_as<void>;
}