Is it possible to check if a type is an instance of a template?

[Andrej Mitrovic]

On 9/15/11, Jonathan M Davis <jmdavisProg at gmx.com> wrote:
> Every template instantiation is a new set of code with _zero_ assocation
> with
> any other template instantation.

Yeah, I know. But I don't think this has to be set in stone. Having
some specific compile-time type information about a template instance
would be cool.