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.