though it isn't the case here, the key of a StringMap can