Replace the focus tree node of the zipper with the given tree node.
The underlying type of the tree.
A function that takes a zipper and returns an updated zipper where the focus node has been replaced.
Replace the focus tree node of the zipper with the given tree node.