template<template<typename T0> class F>
struct temp_fun_1
{
template<typename TT0> void operator()( TT0 a1 )
{
// empty function for simplicity
}
};
template<typename T> void Loopback(T t){ std::cout<<t; }
temp_fun_1<Loopback>(); //in main(). I can't even instantiate
temp_fun_1.