Description and example of context monad.