Make GHCi's :info command display top-level kind signatures
(NB: The following issue cannot be triggered on the master
branch of GHC HEAD, but rather the wip/top-level-kind-signatures
branch. Per the author's request, I'm filing issues about it here. I'll use the ~tlks label to categorize these sorts of issues.)
Even if you define a declaration with a top-level kind signature, GHCi won't display it:
λ> type T :: Type -> Type; data T a
λ> :info T
type role T phantom
data T a
This seems like pertinent information, so I'd like to see this shown to the user.