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