I know Obj.magic isn't really desired...
Other options would be
- propose these (or similar) changes to be picked up in the std lib
- copy the map implementation here
I prefer the first of those.