If you ever need to merge two immutable dictionaries (maps) that may share the same key, here is how I did it