Once, Weakly: Template Dismantling
==========================
It's not uncommon in template metaprogramming to dismantle a type into
its component parts and put it back together differently. In this
episode, we'll do the same thing with types that are generated from
templates. We'll first show how to determine whether a given type was
generated from a template. Then we'll see how to work back from the
instantiated type to the individual components of its instantiation
(including the instantiated template itself), mix them up, replace them,
tweak them, and produce a new type.

See http://www.semantics.org and follow the "Once, Weakly" link.

Best regards,

Steve