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