Prove that the zipper type is what Haskell folk would call "applicative".