Traversable.Fold_Map_Plus
P: BsBastet.Interface.PLUS
let fold_map: ('a => P.t('b)) => t('a) => P.t('b);