apecs-stm Experimental STM stores, allow apecs to be run in the STM monad. atomically . cmap $ \(Position p, Velocity v) -> Position (v+p)