module Op:A module containing thesig..end
( >>= ) binding operator for composition of
continuation monads.val (>>=) : ('a, 'b) Cf_cmonad.t -> ('b -> ('a, 'c) Cf_cmonad.t) -> ('a, 'c) Cf_cmonad.tm >>= f to produce a monad that applies f to the result of
evaluating m.