Re: [GHC] #16100: T11627a fails sometimes on CI