Re: [GHC] #11371: Bogus in-scope set in substitutions