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