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