It explains the Writer monad and the Option monad.
This pattern is used for future or promise by the way.