Re: [GHC] #12956: Something has broken T12903