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