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