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