Representation of maps that contain at least one entry.
The type of map keys.
The type of map values.