I've been talking more with @hborla and @Douglas_Gregor about this, and I think we can structure this into a series of three proposals. Expanded parameters The first proposal allows a subsequence of call arguments to be implicitly collected together at compiler time to initialize a single aggregate argument. That is, one could write a functio...