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