Unfortunately we don’t support pack expansion expressions in lvalue context (on the left hand side of assignment, or as an argument to an inout parameter) yet.
This means that you can’t actually write a ZipIterator today. Parameter packs will support lvalues, for loops and other features in the fullness of time, which will make them more useful for these kinds of algorithms.