Remove the type-checking knot.
[ghc.git] / testsuite / tests / polykinds / T15116a.hs
1 {-# LANGUAGE PolyKinds, DataKinds #-}
2 module T15116a where
3
4 import Data.Proxy
5
6 data B = MkB (Proxy 'MkB)