template<template <class T> class U> とは書けるのに
template<template <typename T> typename U> と書けないのはなんでですか？
いままで template 引数の中の class と typename は同じだと思っていたのですが・・・。