zipper 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