Многоэлементная система шаблонных делегатов

Итак, я недавно построил систему делегатов, используя вариабельные шаблоны c ++ 11, и она работает просто как прелесть.

Однако в системе, которую я построил, аргументы для функций даются во время создания (как мне хотелось бы), но теперь я также хотел бы иметь возможность передавать некоторое (переменное) количество аргументов во время вызова. Чтобы добиться этого, я пошел и переделал свой код, однако вот где я получаю проблемы;

error: parameter packs must be at the end of the parameter list
sorry, unimplemented: cannot expand ‘Arguments ...’ into a fixed-length argument list
error: type/value mismatch at argument 1 in template parameter list for ‘template<<declaration error>, class ... Params> class FunctionDelegate’

… и многое другое, так что вот фрагмент, который породил проблему;

template<typename... Params>
class Runnable
{
public:
virtual void invoke(tuple<Params...> params) = 0;
virtual ~Runnable()
{
}
};

Это родительский класс для моих двух делегатов (FunctionDelegate и ObjectDelegate). Раньше это был незаполненный класс (так как invoke не принимал никаких аргументов), однако, поскольку у меня есть список шаблонов с переменным числом аргументов, мне также пришлось модифицировать свои подклассы (очевидно), и я только добавил еще один вариант шаблон к ним;

template<typename... Arguments, typename... Params>
class FunctionDelegate : public Runnable<Params...>
{
public:
typedef void (*FunctionType)(Arguments..., Params...);

FunctionDelegate(FunctionType function, tuple<Arguments...> args)
: function(function), args(args)
{
}

void invoke(tuple<Params...> params)
{
callFunction(typename gens<sizeof...(Arguments)>::type(), params, typename gens<sizeof...(Params)>::type());
}
private:
template<int... S, int... R>
void callFunction(seq<S...>, tuple<Params...> params, seq<R...>)
{
function(get<S>(args)..., get<R>(params)...);
}
private:
FunctionType function;
tuple<Arguments...> args;
};

Это, однако, не представляется возможным, по крайней мере, так я и подозреваю;

1. Разрешено ли иметь два списка шаблонов с переменными значениями?
2. Есть ли способ, которым я могу намекнуть компилятору, о котором идет в какой список? (а именно те, которые используются в конструкторе, переходят к аргументам, а остальные к парамам).
3. Если просто нет способа сделать это (используя два списка вариационных шаблонов), разве нельзя использовать один, Аргументы и Параметры в одном и том же списке вариаций, а затем просто разделить его, используя аргументы конструктора?
4. Есть ли другой способ добиться того, что я пытаюсь? (кроме использования простой старой, не проверяемой на тип переменной передачи параметров).

Любая помощь или понимание приветствуется.