Pro tip: use
Map and not
Edit: Belay that: the problem was an allocation-speed issue: I wasn’t reallocating a
Map. Updating in-place is much more comparable.