Я получил простое объявление шаблона variadic, точно так же как классическое:

template <typename... Arguments>
class VariadicTemplate;

Чего мне нужно добиться, так это датьVariadicTemplate класс выполняет некоторую проверку типов; шаблон переменной должен проверять в некоторой итерационной форме, что все полученные аргументы должны быть, скажем, типа<Foo>.

Я где-то видел нечто подобное, но теперь не могу узнать, где это было: P