Navigate from a node to its first child or throw an exception if the focused node is a Leaf. Unsafe version of tryHead.
The underlying type of the tree.
An updated zipper pointing at a new focus.
Navigate from a node to its first child or throw an exception if the focused node is a Leaf. Unsafe version of tryHead.