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