O
1. Да, в pro.cxx мне указали на это, я дал более развернутое пояснение
2. Не нужно, тогда будет не очевидно, что мы принимаем обязательный
Tag + пакSize: a a a
O
Tag + пакK
O
template<typename Tag, typename Args> s; со специализацией в <Tag, type_list<Args...>>, наверное, так чуть лучше, но я отказался от этого варианта♾

♾
♾
А
А
А
А
♾
А
А
♾
♾

♾
V
♾
♾