zipper -package:streams -package:elynx-tree -is:exact package:nonempty-zipper

A non-empty comonadic list zipper A non-empty comonadic list zipper