blob: d662af10ad3e2e29c0d28c73df988394131a3156 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
|
{-# LANGUAGE DataKinds #-}
{-# LANGUAGE GADTs #-}
{-# LANGUAGE PolyKinds #-}
{-# LANGUAGE TypeFamilies #-}
module T16391a where
import Data.Kind
type Const (a :: Type) (b :: Type) = a
type family F :: Const Type a where
F = Int
type TS = (Int :: Const Type a)
data T1 :: Const Type a where
MkT1 :: T1
data T2 :: Const Type a -> Type where
MkT2 :: T2 b
|
