노트 했는지 모르겠는데

using isuint = std::is_unsigned;

template <typename T>
concept uint = requires(isuint<T>);

template <typename T, T V, typename G, G V>
using myshr = V << X;

template <uint T, T B,