/math/hs-comonad-transformers/