Re: [GHC] #11252: :kind command hides the explicit kind