val foldi : 'a t -> init:'b -> f:( int -> 'b -> 'a -> 'b monad ) -> 'b monad
val fold : 'a t -> init:'b -> f:( 'b -> 'a -> 'b monad ) -> 'b monad
val fold_map :
'a t ->
init:'b ->
f:( 'b -> 'a -> ('b * 'c) monad ) ->
('b * 'c t) monad
val iter : 'a t -> f:( 'a -> unit monad ) -> unit monad
val iteri : 'a t -> f:( int -> 'a -> unit monad ) -> unit monad
val mapi : 'a t -> f:( int -> 'a -> 'b monad ) -> 'b t monad