/math/hs-comonad/