-* ***Monad*** ("composable") A MapNable box type is a *Monad* if
- there is in addition a `mcompose` and `join`. In addition, in
- order to qualify as a monad, `mid` must be a left and right
- identity for mcompose, and mcompose must be associative. That
- is, the following "laws" must hold:
+* ***Monad*** ("composable") A MapNable box type is a *Monad* if there
+ is in addition an `mcompose` and a `join` such that `mid` is be
+ a left and right identity for `mcompose`, and `mcompose` is
+ associative. That is, the following "laws" must hold: