I think you should use `reflectWrite(m)(MapUpdate(m, k, v))` instead.