A recipe for a mergeable dictionary which can be combined with another dictionary with the restriction that if the two dictionaries have keys in common, then those keys have the same values.[1]