path: root/testsuite/tests/dependent/should_compile/mkGADTVars.hs

{-# LANGUAGE GADTs, PolyKinds #-}

module GADTVars where

import Data.Kind
import Data.Proxy

data T (k1 :: *) (k2 :: *) (a :: k2) (b :: k2) where
  MkT :: T x1 * (Proxy (y :: x1), z) z