"Combining Sequences with Zip" fully verified