A zipper-type for self-recursive types like ASTs or JSON.

Provide efficient access to a leaf node of such a structure, and a mechanism for navigating around, folding, etc.