sig
  type _ t
  type (_, _, _) m
  val foldr_m :
    ('a -> 'b -> ('u, 'v, 'b) Foldable.M3.m) ->
    'b -> 'a Foldable.M3.t -> ('u, 'v, 'b) Foldable.M3.m
  val foldl_m :
    ('b -> 'a -> ('u, 'v, 'b) Foldable.M3.m) ->
    'b -> 'a Foldable.M3.t -> ('u, 'v, 'b) Foldable.M3.m
end