Abstract out `mplus` from `bind`. Substitute calls to `unit` and `mzero` with `succeed` and `fail`, respectively.
Abstract out `mplus` from `bind`.
Substitute calls to `unit` and `mzero` with `succeed` and `fail`, respectively.

massimo-nocentini/on-python