Всем привет!
Возможно ли с помощью шаблонной магии сделать аналогичный результат вывода main() без перечисления всех возможных сочетаний типов из списков?(Т.е что то типа одного вызова f(List2,List1) ) Использование локи не обязательно-просто для примера.

#include <iostream>  
#include <loki/Typelist.h>

typedef LOKI_TYPELIST_3(char,int,double) List1;
typedef LOKI_TYPELIST_2(short,float) List2;


template <class A,class B>
void f()
{
 std::cout << typeid(A).name() << " " << typeid(B).name() << std::endl;
}

void main()
{
 f<short,char>();
 f<short,int>();
 f<short,double>();
 
 f<float,char>();
 f<float,int>();
 f<float,double>();
 
}