MapsA value of type `Map kt vt provides a key-value store where `kt` is the type of keys and `vt`` is the type of values.