Re: [GHC] #7599: timeout does not behave as expected