The ‘Type’ kind is printed without accounting for scope
The `Type` is printed unqualified:
```
ghci> :set -XNoStarIsType
ghci> :k (->)
(->) :: Type -> Type -> Type
```
That is expected behavior. But it becomes incorrect if the user defines their own `Type`:
```
ghci> data Type
ghci> :k (->)
(->) :: Type -> Type -> Type
```
This is misleading. We should qualify `Type` appropriately in such cases:
```
ghci> :k (->)
(->) :: GHC.Types.Type -> GHC.Types.Type -> GHC.Types.Type
```
I was aware of this issue back when I implemented `NoStarIsType`, but I couldn’t figure out what to do about it. Turns out we have all the machinery in `PprStyle`!
Fix coming.
issue