Re: [GHC] #14352: Higher-rank kind ascription oddities