A Map where the value type may depend on the key value.