2 frogkiller особенно

Хочу организовать CompileTime комбинаторы (SKI). Например Ix = x

template <template <class> class X>
struct I
{ template <template <class> class A>
  struct L
  { typedef typename X<A>::L R;
  };
};

Все в принципе замечательно, но X могжет принимать в качестве аргументов
неизвестное количество функций, т.е.

template <class,...> class X
возможно, что правильнее даже:
template <template <...> class> class X

и так с неограничееной вложенностью
У кого нибудь есть мысли как организовать I в CompileTime ???