:set -XPolyKinds
data Proxy1 k (a :: k) = Proxy1
:kind Proxy1