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