Remove the type-checking knot.
[ghc.git] / testsuite / tests / polykinds / T11648b.hs
1 {-# LANGUAGE DataKinds, PolyKinds #-}
2
3 module T11648b where
4
5 import Data.Proxy
6
7 data X (a :: Proxy k)