zipper -is:module -package:nonempty-zipper -package:zipper-extra is:exact

zipper :: Uniplate to => to -> Zipper to to

Create a zipper, focused on the top-left value.

zipper :: a -> Top :>> a

Construct a Zipper that can explore anything, and start it at the Top.

zipper :: Traversable t => t a -> Maybe (Zipper t a)

package zipper

Not on Stackage, so not searched. Generic zipper for families of recursive datatypes