Good work and welcome to Lobsters! Extra props for getting performance close to mutable state in a functional way. Last I saw make progress on such things was Lammich who made a tool for synthesizing imperative implementations from functional specs in Isabelle/HOL. They had C++-like performance. I think more work on high-performance replacements for or correctness-preserving synthesis of mutable structures or algorithms can only be a good thing.

Although your work is out of my area, I try to dig out good CompSci research to post on social media so it reaches builders who might apply it. Too much just unfairly fades away. I mostly post formal specification or verification work with a practical bent. I do keep an eye out for stuff like this, too, since we have a diverse crowd here. Mine are here. A few people post on distributed or database-oriented systems a lot. Some of those submissions might grab your interest given the persistence work.