sig val ( >>= ) : ('s, 'x, 'a) Cf_scmonad.t -> ('a -> ('s, 'x, 'b) Cf_scmonad.t) -> ('s, 'x, 'b) Cf_scmonad.t end