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