unionsWith package:dependent-monoidal-map

The union of a list of maps, with a combining operation: (unionsWithKey f == foldl (unionWithKey f) empty).