working on fixing live code, using special zipper comonad