Re: [GHC] #13544: ghc panic