Zipper.Modify with insert (not tested)