:kind command hides the explicit kind

-- /tmp/test.hs
{-# LANGUAGE TypeInType #-}

data Proxy1 k (a :: k) = P1
data Proxy2   (a :: k) = P2

if I load the following into ghci (head) the :kind command gives the same result

% ghci -ignore-dot-ghci /tmp/test.hs
GHCi, version 7.11.20151216: http://www.haskell.org/ghc/  :? for help
[1 of 1] Compiling Main             ( test.hs, interpreted )
Ok, modules loaded: Main.
*Main> :kind Proxy1
Proxy1 :: k -> *
*Main> :kind Proxy2
Proxy2 :: k -> *

edit: I asked on #ghc, was told this was undesirable