template<Kind K, template<class>K k>
struct ApplyInt{
	using type = k<int>;
};

template<class Key, class Value> class HashFunc;


ApplyInt< template<class>, HashFunc >::type
		==> template<class Value> HashFunc<int, value>