Re: [GHC] #7719: System.Timeout.timeout may leak <<timeout>> exceptions