Re: [GHC] #11611: ghc panics