<div>I have seen some push to take advantage of the new primop casMutVar, yet I see that atomicModifyMutVar hasn&#39;t been used yet either. For example, modifySTRef is just a read followed by a write. I&#39;ve been unable to create a version that does not allocate with something as simple as modifySTRef ref (+1). </div>

<div><br></div><div>There is a package Data.Ref.Unboxed that allows ST to use an unboxed STURef, but even though I can see the Core using Int#, any use of modifySTURef, or any version I&#39;ve been able to make will excessively box/rebox.  Should I instead be using something like modifySTURef ref (GHC.Prim.+#) or can this be automatically done by the compiler?<br>

</div>