Re: [GHC] #11785: Kinds should be treated like types in TcSplice