zipper -package:rosezipper -is:module is:exact
Create a zipper, focused on the top-left value.
Construct a
Zipper that can explore anything, and start it at
the
Top.
Not on Stackage, so not searched.
Generic zipper for families of recursive datatypes