This would be fantastic and I'd be happy to work with you to expose the extra ops through the atomic-primops pkg.
Hi,I found myself needing atomic operations on basic, mutable numeric values. I wrote a short design doc that I'd like feedback on:https://ghc.haskell.org/trac/ghc/wiki/AtomicPrimops
I will try to implement these for 7.10.-- Johan