Btw. the zip trick is essential Python, we should expose it ;-)