C++中的模板变量

是否可以使用模板模板变量来捕获传递的模板参数本身就是模板的所有情况？

我一直在使用模板为一些基于模板的方法生成调试输出。首先，我创建了一个通用处理程序，然后将其专门用于本地类型：

template<typename... PARAMS> struct TypeList{};
template<typename TYPE> inline void ntype(ostream &out, TypeList<TYPE>) {
    out << typeid(TYPE).name();
}
template<> inline void ntype(ostream &out, TypeList<int>) {
    out << "int";
}
...

然后我尝试添加第二个模板格式来捕获正在传递的模板类型：

template<typename ... SUB, template<typename...> class TYPE> void ntype(ostream &out, TypeList<TYPE<SUB...> >) {
    ntype(out, TypeList<typename TYPE>());
    out << '<';
    subtype(out, TypeList<SUB...>());
    out << '>';
}

其中subtype是一个模板方法，设计用于在参数列表中递归，依次将每个方法应用于ntype（）。

问题是，当我试图用某种东西来称呼它时，效果是：

ntype<SomeClass<int> >(out, TypeList<SomeClass<int> >());

它只匹配通用的第一个模板函数-没有编译错误，但从不匹配模板模板版本。我确信这只是我缺乏理解，但当涉及到模板模板的清晰示例时，谷歌的结果似乎非常薄弱，而对于可变模板参数来说，结果更为薄弱。

有人能解释我的尝试是否可能吗？如果可能，我做错了什么？