sig type 'a t val lazy_fold : 'a Lazy_list.Of_container.T.t -> f:('a -> 'b Lazy_m.t -> 'b) -> last:'b -> 'b end