Hi,
I've being working on the "dark side of structured binding" which are
inherently not type safe.
If you get the order wrong, and the arguments are of the same type, then it
is an error detectable only at runtime.

The solution I propose is adding "named tuples" via anonymous concepts and
unnamed structs.

In order to get the proposed semantics right, more use cases should be
considered and I look to this mailing list for help.

The proposal draft is at https://github.com/OmerRosler/named_tuples/tree/0.1