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