"linear-locks: locking primitives free of deadlocks"
If you encounter STM's limitations when it comes to lock-free synchronisation, then Linear Haskell-backed locks maybe the solution you want!
https://discourse.haskell.org/t/ann-linear-locks-locking-primitives-free-of-deadlocks/14112
#Haskell