zipper -is:module 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.