This package contains the generic zipper system described in the Scrap Your Zippers paper (see <http://www.cs.indiana.edu/~adamsmd/papers/scrap_your_zippers/>). It defines the 'Zipper' type permitting zipper traversals over arbitrary instances of 'Data'.