sig
  val sequence : ('a, unit) Cf_cmonad.t Cf_seq.t -> ('a, unit) Cf_cmonad.t
  val accumulate : ('a, 'b) Cf_cmonad.t Cf_seq.t -> ('a, 'b list) Cf_cmonad.t
end