-- | Adds an element to a 'FiniteMap'. If there is already an element
-- with the same key, then the specified combination function is used
-- | Adds an element to a 'FiniteMap'. If there is already an element
-- with the same key, then the specified combination function is used