-Motivating types; motivating the Maybe monad
-============================================
+Motivating types; our first glimpse of the Maybe monad
+======================================================
In [[a long footnote discussing Russell|readings/kaplan-plexy.pdf]],
Kaplan 1989:496 poses a problem for the interaction of structured
{} if there is no object that E refers to, or else
{P} if E refers to P
-In later weeks, we will call this technique the Maybe monad.
+In later weeks, we will call the general form of this technique the Maybe type, and the general strategy for deploying this type the Maybe monad.
-Kaplan, D. 1989. "Demonstratives. InJ. Almog, J. Perry, & H. Wettstein
+Kaplan, D. 1989. "Demonstratives. In J. Almog, J. Perry, & H. Wettstein
(Eds.), Themes from Kaplan (pp. 481-563)."