How to stringify a template instantiation expression?

[Yuxuan Shui]

For a template instantiation expression like A!(B, C!(D, E)), I 
want to get a string "A!(B, C!(D, E))", better if A, B, C, D, E 
is replaced by fully qualified name.

Is this possible?