Re: [GHC] #13819: GHC Panics