blob: 13ac0248bfdee8d3a0a794b4578ab97af7e46b43 (
plain)
1
2
3
4
5
6
7
8
9
|
{-# 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
|