path: root/testsuite/tests/typecheck/should_compile/T13915a.hs

{-# LANGUAGE DataKinds, PolyKinds #-}
module Bug where

import T13915a_Foo

data Proxy (a :: k)
data S = MkS (Proxy 'MkT)