Our above definitions of `map` and `mapN` were of this form, except we just
explicitly supplied the definition of `⇧` for the Option/Maybe monad (namely, in OCamlese, the constructor `Some`).
Our above definitions of `map` and `mapN` were of this form, except we just
explicitly supplied the definition of `⇧` for the Option/Maybe monad (namely, in OCamlese, the constructor `Some`).