Data Structures: The Zipper

A zipper is an immutable data structure useful in navigating a tree-like structure.