This would only be applicable if they are of the same type e.g. if key-value pairs form a uint2. This is possibly just a special case of allowing custom key extraction from arbitrary types.