map is an Associative
Sequence of heteregenous typed data elements. Each element is a key/data
pair (see fusion::pair)
where the key has no data (type only). Type identity is used to impose an
equivalence relation on keys. A map may contain at most one element for each
key. Membership testing and element key lookup has constant runtime complexity
(see Overloaded Functions).