Parameterized class: specialization

In reply to dave_59:

I wasnt aware of the type() operator. In practice the types will be classes.
I just looked into the LRM, I assume if I have a base class and several derived classes, none of these would be matching type amongst eachother?