Using Haskell STM for Safe Concurrent State: An Architecture Note
An architecture note on using Haskell's STM and TVar for composable, lock-free concurrent state: requirements, minimal design, trust boundaries, operational checks, failure modes, and when to switch approaches.
haskell