41 std::is_default_constructible_v<Group> &&
requires(Group lhs, Group rhs, int4 buf) {
42 { lhs + rhs } -> std::same_as<Group>;
43 { -lhs } -> std::same_as<Group>;
44 { Group::From(buf) } -> std::same_as<Group>;
45 { lhs.Into() } -> std::same_as<int4>;