:kind has strange behaviour with GHCi on 9.6
❯ ghci-9.6
GHCi, version 9.6.0.20230128: https://www.haskell.org/ghc/ :? for help
Loaded GHCi configuration from /home/zubin/dotfiles/.ghci
λ> :kind a
a :: k
λ> :q
Leaving GHCi.
❯ ghci-9.4
GHCi, version 9.4.4: https://www.haskell.org/ghc/ :? for help
Loaded GHCi configuration from /home/zubin/dotfiles/.ghci
λ> :kind a
<interactive>:1:1: error: Not in scope: type variable ‘a’
λ>
It seems like it generalises unbound type variables?