'mproc' is a procedure a* -> Container b* where I note "zero or more values' as a* and b*,and Container is either Maybe or Either.
The first line says maybe-compose returns an mproc.
The second line says the returned procedure takes a single value 'Container a*'.
If *-compose is indeed a composition of mprocs, I expect the following relations and I feel it's more natural:(maybe-compose x y z) == (maybe-compose x (maybe-compose y z))== (maybe-compose (maybe-compose x y) z)(maybe-bind m x y) == (maybe-bind m (maybe-compose x y))