Re: [GHC] #11525: Using a dummy typechecker plugin causes an ambiguity check error