- maybe-bind maybe mproc1 mproc2 ...procedure
- either-bind either mproc1 mproc2 ...procedure
Monadic bind. If maybe/either is a Just/Right, it behaves as if maybe-compose/either-compose were applied to mprocs, and the resulting mproc applied to the payload of maybe/either. But if maybe/either is a Nothing/Left, it is immediately returned.