update for comonad 4.0 generalized cohoist