> On Apr 8, 2026, at 5:58 PM, Muneem via Std-Proposals <std-proposals_at_[hidden]> wrote:
>
> The N_type_set is what you would use to represent the types that type_set can have, but once assigned, it is fixed. At each usage of a type_set<N_type_set> object, the object instantiates for each T in N_type_set as T^. The conversion hierarchy for T^ is:
> Const T
> T
> Const T&
> T&
> Const T&&
> T&&

If I understand this part correctly, the idea is not new. A few years back, Herb Sutter had a talk about his cppfront where he explained that it is quite cumbersome to write function overloads for all these types. He prototyped it in his cppfront compiler (which uses a slightly different syntax, but is fully compatible with C++). Herb Sutter is really good at explaining new concepts in easy language and he likes to discuss possible future directions of C++. You should really watch all of his talks from the last 5 years. This might help you to understand standardization of
C++ a lot better, understand C++ a lot better, and hopefully understand why we are pushing in a slightly different direction as you.