Using `-fprint-explicit-kinds` causes invalid type signature suggestions.

### Your environment

ghc 9.10 with vscode

### Steps to reproduce

```
{-# LANGUAGE UnliftedNewtypes #-}
module Main (main) where
import GHC.Exts

main :: IO ()
main = putStrLn "Test suite not yet implemented."

type Poly :: forall {r}. TYPE r -> TYPE r
newtype Poly a = Poly a

bar (Poly a) = a + a
```

Using code like this with a cabal file that enabled `-fprint-explicit-kinds` suggest the type signature `bar :: forall {a}. Num a => Poly @{LiftedRep} a -> a` which does not parse.

### Expected behaviour

Suggested type signatures should always work.

### Actual behaviour

This one doesn't.