https://github.com/bgamari/ghc-proposals/blob/deprecate-stm-invariants/proposals/0000-deprecate-stm-invariants.rst — тут из STM пытаются выпилить always, а я ещё не выяснил зачем он там был нужен.