Re: [GHC] #11785: Merge types and kinds in Template Haskell