List.Traverse
module M : MONAD
val sequence_m : 'a M.t list -> 'a list M.t
val fold_m : f:('b -> 'a -> 'b M.t) -> init:'b -> 'a list -> 'b M.t
val map_m : f:('a -> 'b M.t) -> 'a list -> 'b list M.t
val map_m_par : f:('a -> 'b M.t) -> 'a list -> 'b list M.t