Added example of monad transformers.