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