Re: [GHC] #7774: T5313 fails