Re: [GHC] #2401: aborting an STM transaction should throw an exception