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