Yesterday we looked at Reader monad as a way of abstracting configuration, and introduced monad transformers.