Re: [GHC] #13987: T13701 fails sporadically