Полиморфные (универсальные) функции как аргументы в переполнении стека

Я разрабатываю относительно простую программу (на самом деле калькулятор). Однако я решил сделать все компоненты моей программы как можно более общими, потому что:

1. Это хорошая практика.
2. Это держит вещи интересными.

В рамках этой программы я использую Tuple класс, который я пишу. Я знаю, что класс уже существует, но мне нравится иметь полный контроль над моим кодом, и это только упражнение.

Одна вещь, которую мне нужно сделать, — это преобразовать кортеж выражений (где сами выражения являются общими) в кортеж, содержащий результат вычислений выражений. Короче говоря, у меня есть (с опущенными тривиальными частями):

template <class T>
class Expression {

public:
virtual T Eval() = 0;

// ...
};

template <class First, class ... Rest>
class Tuple {

// ...

private:
First first;
Tuple<Rest ...> rest;
};

И я хотел бы специализироваться на кортеже общего типа, как это:

template <template <class> class R, class First, class ... Rest>
class Tuple<R<First>, R<Rest> ...> {

// and here is the problem:
Tuple<First, Rest ...> Transform(function<template<class T> T(R<T>)>);
};

После чего я мог сделать это:

template <class T> // There has to be a better way to do this
T Eval(Expression<T>& expr){
return expr.Eval();
}

// ...
Tuple<First, Rest ...> tuple = exprs.Transform(Eval);

Здесь есть несколько мест, где я не уверен, как поступить, и будет признателен настоящий эксперт, который мог бы помочь мне здесь. Я ожидаю, что этот код не будет компилироваться из-за незначительных недостатков, но это не главное — мое главное беспокойство — строка, которую я пометил. Если я правильно помню из короткого периода, я узнал, Haskell, эта функция должна иметь ранг 2 (если нет, пожалуйста, прокомментируйте, и я уберу тег). Это просто не выглядит правильно. Есть какой-либо способ сделать это?

Обновить:

Мне посоветовали попробовать передать функтор с универсальным operator () в качестве аргумента шаблона, но это тоже не сработало.