Back in the review of SE-0393, I noted that I was sad not to have pack iteration in the initial incarnation of variadic generics, so I'm thrilled to see it here. This is one of those interesting features where the expression in the language is so clear and obvious, and yet the fact that it works feels almost magical.
Your pitch is clear and straightforward, and I'm looking forward to getting to play with an implementation.
Doug