module type M2 = sig .. end
sig
end
type '_ t
'_
type ('_, '_) m
('_, '_)
val foldr_m : ('a -> 'b -> ('u, 'b) m) -> 'b -> 'a t -> ('u, 'b) m
('a -> 'b -> ('u, 'b) m) -> 'b -> 'a t -> ('u, 'b) m
val foldl_m : ('b -> 'a -> ('u, 'b) m) -> 'b -> 'a t -> ('u, 'b) m
('b -> 'a -> ('u, 'b) m) -> 'b -> 'a t -> ('u, 'b) m