Ну и коль скоро сегодня меня волнуют только извращения: можно ли из STM транзакции сделать atomicModifyIORef и расчитывать что его в самый неподходящий момент не прибьёт retry?