Re: [GHC] #13685: ghc: panic