zipper -package:streams -package:traverse-with-class 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