How to get a type in C++ when its template argument is the argument

First, we can't do :

//It's wrong.

template <typename U, typename T>
U TypeFunc (U<T> p);
//It's wrong.

templa