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