Now we'll look at using monads to do intensional function application.
-This really is just another application of the Reader monad, not a new monad.
+This is just another application of the Reader monad, not a new monad.
In Shan (2001) [Monads for natural
language semantics](http://arxiv.org/abs/cs/0205026v1), Ken shows that
making expressions sensitive to the world of evaluation is conceptually