-The intensionality monad
-------------------------
-In the meantime, we'll look at several linguistic applications for monads, based
-on
-
-what's called the *reader monad*.
-...
-intensional function application. In Shan (2001) [Monads for natural
+The "intensionality" monad
+--------------------------
+
+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.
+In Shan (2001) [Monads for natural