Bitraversable.Fold_Map_Any
M : Interface.MONOID_ANY
val fold_map : ('a -> 'a M.t) -> ('b -> 'a M.t) -> ('a, 'b) t -> 'a M.t