Add Reader monad example.