zipper -package:streams -package:elynx-tree -package:ListZipper package:nonempty-zipper

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