Bitraversable.Fold_Map_Plus
P : Interface.PLUS
val fold_map : ('a -> 'a P.t) -> ('b -> 'a P.t) -> ('a, 'b) t -> 'a P.t