This works during template instantiation. So your macros can respond to types and values from such parameters. Also it seems to know about scopes.