translate: stm-2.4.2 Control-Monad-STM.html