You create maps with `reflectMutable`, that should be enough. If `reflectWrite(m)` does not work here just use `reflectEffect`, that’s not so important.