Is that possible (scalably) to output the type of a function template instance from itself?
Say, if I use function<const void* const> or function<char*>, then I'd like to see "const void* const" and "char*" in output of function...
typeid does that. Sort of. Otherwise, it's impossible.
Hmm... Then it's impossible, because typeid didn't see any difference between int and const int when I tried.