On Sun, Jun 14, 2020 at 6:59 PM Shiro Kawai <xxxxxx@gmail.com> wrote:

   It is an error if one of the mprocs does not accept as arguments the number of values wrapped by Just/Right produced by its predecessor.

Done.
 
  Monadic bind.  If maybe/either is Nothing/ a Left, it is returned as is.  If maybe/either is a Just/Right, it behaves as if they invoked maybe-compose/either-compose on mprocs and applied the resulting mproc to the payload of the Just/Right, returning the result Maybe/Either.

Done.



John Cowan          http://vrici.lojban.org/~cowan        xxxxxx@ccil.org
Linguistics is arguably the most hotly contested property in the academic
realm. It is soaked with the blood of poets, theologians, philosophers,
philologists, psychologists, biologists and neurologists, along with
whatever blood can be got out of grammarians. - Russ Rymer