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