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