I am currently searching for implementations of Huet's Zipper ``in the wild''.
So far, I have found:
The agda compiler (correct me if I'm wrong) uses the zipper for the eliminator of call-by-need evaluations, filling out information as it goes.
Another instance is used in XMonad to keep track of the focused workspace and the focused window on each workspace
Are there other ways to implement//other implementations of the zipper?