Prime Zipper for a Comonad instance