Dear Mr. Huet, Fascinated by the zipper since reading your publication, the authors of the Haskell wikibook have written a special introduction to this data structure: "Theseus and the Zipper". http://en.wikibooks.org/wiki/Haskell/Zippers starring Theseus and Ariadne. We hope you will enjoy it :) All the best, apfelmus