Можно ли частично специализировать шаблон с помощью такого шаблона, как foo?

Если это возможно, можно индексировать пакет параметров вариативного шаблона без рекурсии. Тем не менее, GCC отказывается принимать мою частичную специализациюздесь:

template 
struct element_impl;

template 
struct element_impl..., pair, pair...>> {
    typedef T type;
};

prog.cpp: в экземпляре ' element >':
prog.cpp:52:34: создан отсюда
prog.cpp:47:79: ошибка: неправильное использование неполного типа 'struct element_impl, пара, пара, пара, pair >'

Является ли GCC ошибкой, или я игнорирую некоторые ограничения вариативных шаблонов?