Re: [GHC] #8031: Template Haskell gets confused with kind variables introduced in separate foralls