Re: [GHC] #13886: GHC panic when using GHC plugins