-Haskell, etc., is to define a `bind` operator (the name `bind` is not
-well chosen to resonate with linguists, but what can you do). To continue our mnemonic association, we'll put a `'` after the name "bind" as well.
+Haskell, and other functional programming languages, is to use the monadic
+`bind` operator, `>>=`. (The name "bind" is not well chosen from our
+perspective, but this is too deeply entrenched by now.) As mentioned above,
+there needs to be a different `>>=` operator for each Monad or box type you're working with.
+Haskell finesses this by "overloading" the single symbol `>>=`; you can just input that
+symbol and it will calculate from the context of the surrounding type constraints what
+monad you must have meant. In OCaml, the `>>=` or `bind` operator is not pre-defined, but we will
+give you a library that has definitions for all the standard monads, as in Haskell.
+For now, though, we will define our `bind` operation by hand: