{-# LANGUAGE DataKinds, PolyKinds #-}

module T11648b where

import Data.Proxy

data X (a :: Proxy k)