Re: [GHC] #12021: Type variable escapes its scope