path: root/testsuite/tests/polykinds/T11648b.hs

{-# LANGUAGE DataKinds, PolyKinds #-}

module T11648b where

import Data.Proxy

data X (a :: Proxy k)