Re: [GHC] #15748: panic