changing the type of their input from ints to int options. But we
didn't need to do this piecemeal; rather, we could "lift" the ordinary
arithmetic operations into the monad using the various tools provided
-by the monad.
+by the monad. We'll go over this lifting operation in detail in the next section.
## Tracing the effect of safe-div on a larger computation
| Some y -> Some (g x y));;
Then we lift the entire computation into the monad by applying ⇧ to
-the integers, and by applying `map1` to the operators:
+the integers, and by applying `map2` to the operators:
<pre>
\tree ((((map2 +) (⇧1)) (((map2 *) (((map2 /) (⇧6)) (⇧0))) (⇧4))))
(using bind), and the non-intersective adjectives will take
intensional arguments.
-
+notes: cascade, general env