Re: [GHC] #12709: GHC panic