Adding a log entry to the accumulator

Transforming the value within the monad

Combining two monadic values

Propagating an error condition