Every so often, someone posts a proposal idea on here that is so simple and elegant that I wonder why nobody has thought of it before.

Usually those threads descend into some historical or technical reasons why it isn't feasible, but I hope this isn't one of those threads.

I love it.

I'm curious about parameter packs. This might allow for exposing them, which we previously had to do by indirection:

template<typename... Elements>

struct Foo{

 

};

using bar = Foo<insert, types, here>;

std::tuple<bar::Elements...> baz;