Make.T
type 'a t
val fold : 'a t -> init:'acc -> f:('acc -> 'a -> 'acc) -> 'acc
val iter : [ `Custom of 'a t -> f:('a -> unit) -> unit | `Define_using_fold ]
val length : [ `Custom of 'a t -> int | `Define_using_fold ]