summaryrefslogtreecommitdiff
path: root/tests/examples/ghc80/mkGADTVars.hs
blob: 1e74c6980a7714985e47cdc770b8223b06e12a62 (plain)
1
2
3
4
5
6
7
8
9
{-# LANGUAGE GADTs, TypeInType #-}

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