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