Functional Zipper

Go Left ← Go Right → Go Up ↑ Go Down ↓ Edit Focus Reset

Zipper: focus on a node + context (path back to root). Navigate in O(1). Edit focus creates new nodes up the path (persistent). Huet 1997.