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