No, your example above is (roughly speaking)

X = tag<T, nonvariadic>; X = tag<T, variadic>;

Tobias, I lost your response to this somehow, but basically I think I don't have my head wrapped around your library at the moment. Based on your response I have confidence that you've got good reasons for doing what you're doing. Dave