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