Implicitly quantify variables in `:kind' command

In response to this StackOverflow question (Is it possible to normalize a type that contains free type variables in Haskell?) I wanted to ask if this had been discussed, to implicitly insert forall quantifiers in :kind

ghci> :kind [a]

<interactive>:1:2: error: Not in scope: type variable ‘a’

Instead treating it as if the user wrote forall a. [a]

ghci> :kind [a]
[a] :: Type

Just because this confuses people