A rose tree is an n-ary tree in which each node has zero or more children, all of which are themselves rose trees

A zipper provides a mechanism for traversing a tree by focusing on a given node and maintaining enough data to reconstruct the overall tree from any given node