> {} (or what we'll call `None` or `Nothing`) if there is no object that E refers to, or else
> {P} (or what we'll call `Some P` or `Just P`) if E refers to P
-We will call the type used here an "option" or "Maybe" type (from OCaml and Haskell, respectively). And we'll call the general strategy for deploying this type "the Maybe monad."
+We will call the type used here an "option" or "Maybe" type (from OCaml and Haskell, respectively). And we'll call the general strategy for deploying this type "the Option/Maybe monad."
Kaplan, D. 1989. "Demonstratives. In J. Almog, J. Perry, & H. Wettstein