(Co)update (co)monads and right monoid actions - View it on GitHub