Shorten a Separating Zipper

Tag: shorten zipper