Writer monad #498
Description
Monad on Setoids constructed by pairing with an element of a monoid
Currently exists in categories-examples as Categories.Examples.Monad.Duration
Can be generalized to a monad on a monoidal category parameterised by a monoid object. Can be further generalized as a strong monad transformer (I think all monads on (Setoids, ×) are strong)