wip/hs-comonad
