Re: [GHC] #11008: Difficulties around inferring exotic contexts