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