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