Avoid universe bumps of `gset`/`mapset` (fixes #134)
I don't understand universes well enough to see why the previous version does not work. So if anyone can explain that, that would be great :).
I don't understand universes well enough to see why the previous version does not work. So if anyone can explain that, that would be great :).