Re: [GHC] #11457: Run type-checker plugins before GHC's solver