map is a variadic, associative, extensible sequence of type pairs that
supports constant-time insertion and removal of elements, and testing for membership.
A map may contain at most one element for each key.