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