> One important thing, if this tag have variant inside it, then it should be
> tempted by it like:
> ```
> template<typename Var, size_t Index>
> struct variant_tag

True - I expect we'll need to include a prototype implementation (e.g. on the basis of existing std::variant) into the proposal, so should catch bugs like this.