: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?

To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information