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