zipper -is:module -package:nonempty-zipper -package:zipper-extra package:traverse-with-class

A generic zipper with a root object of type root.
Move up a zipper to the root and return the root object.
Create a zipper. The focus starts at the root of the object.