accumulate-step

(accumulate-step ('a 'a -> 'a) (list-of (#!rest * -> 'a)) (list-of 'a) *) -> (list-of 'a)procedure