Haskell:TVar:orElse

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