Get the current focus of the zipper.
Underlying tree type.
Zipper to be queried.
The focus of the zipper.
Get the current focus of the zipper.