testsuite/tests/dependent/should_compile/mkGADTVars.hs


1
2
3
4
5
6
7
8
9
10

{-# LANGUAGE Haskell2010 #-}
{-# LANGUAGE GADTs, PolyKinds, RankNTypes #-}

module GADTVars where

import Data.Kind
import Data.Proxy

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