The composition of Zip F and G, [x]F[G[x]], is a Zip (if F is a Functor)
F
G
[x]F[G[x]]
The product of Zips F and G, [x](F[x], G[x]]), is a Zip
[x](F[x], G[x]])