12
template<typename...T> concept NonEmpty = requires {sizeof...(T) > 0; };
123
template<typename T1, typename ... T> requires NonEmpty<T...> struct Group<T1, T...> : Group<T...> ///// etc
sizeof...(T) > 0
template<typename...T> concept NonEmpty = sizeof...(T) > 0;