Re: [GHC] #15222: T14547 is broken