Finished monadic zipper.