module Op:sig..end
( >>= ) binding operator for composition of state
monads.val (>>=) : ('s, 'a) Cf_smonad.t -> ('a -> ('s, 'b) Cf_smonad.t) -> ('s, 'b) Cf_smonad.tm >>= f to produce a monad that applies f to the result of
evaluating m.