How to efficiently track and store deltas between two HAMTs

Ideally, I would like to be able to do

x = Map({'a': 2, 'c': 1})
y = x.update({'b': 3: 'c': 2)
z = y - x # magic
z == Map({'b': 3, 'c': 2})

Is there any particularly efficient way to do this in terms of memory and computational time? Ideally, I'd like z to share its data with y in the same way y shares its data with x. One way that comes to mind is

def diff(y, x):
  z = y
  for k, v in y.items():
    if k in x and x[k] == v:
      z = z.delete('k')
  return z

But this is O(N log N) (for log N get/set). Is there a more efficient way to go about this?

No se nombran archivos ni pruebas. Empieza revisando la implementación de HAMT y Map para update/delete y determina después si una representación delta puede preservar el structural sharing sin requerir el scan propuesto. Se considera terminado cuando haya un enfoque eficiente y documentado, o un cambio de API claramente delimitado con cobertura para el ejemplo.