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