About lirtosiast 's suggestion: That may be useful, but for the most common case of value->value map, it may be suboptimal. Instead we may have a map dyad/quick that takes the map and the key as input and returns the value.