Re: [GHC] #8035: STM transaction left open if there is an orElse on the path between throwSTM and catchSTM