import Data.Proxy
:set -XPolyKinds
data Dependent a (x :: a)

:k Proxy _
:k Proxy (Maybe :: _)
:k Dependent _

:set -XPartialTypeSignatures
:k Proxy _
:k Proxy (Maybe :: _)
:k Dependent _

:set -fno-warn-partial-type-signatures
:k Proxy _
:k Proxy (Maybe :: _)
:k Dependent _