comonad (monad + co-; together_joint)
A monad of the opposite category