Вызывается ли «else» часть orElse, когда транзакция повторяется из-за того, что другая транзакция записывает в TVar, который она прочитала, или только когда повтор вызывается явно?

Я рассматриваю возможность использования TVar для хранения некоторого состояния в веб-приложении (, которое можно воссоздать при перезапуске). Однако меня беспокоят спорные аспекты TVar. Кажется, частый короткий запуск...