Re: [GHC] #7583: IO reordering