Vladislav Zavialov authored Nov 06, 2021 and Marge Bot committed Nov 07, 2021

The Type kind is printed unqualified:
	ghci> :set -XNoStarIsType
	ghci> :k (->)
	(->) :: Type -> Type -> Type

This is the desired behavior unless the user has defined
their own Type:
	ghci> data Type

Then we want to resolve the ambiguity by qualification:
	ghci> :k (->)
	(->) :: GHC.Types.Type -> GHC.Types.Type -> GHC.Types.Type