blob: dc10afdf09975909c072f507a177f478041a00bd (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
|
{-# LANGUAGE TypeApplications #-}
{-# LANGUAGE TypeFamilies #-}
{-# LANGUAGE PolyKinds #-}
{-# LANGUAGE DataKinds #-}
{-# LANGUAGE StandaloneKindSignatures #-}
module T17008b where
import Data.Kind
type family ConstType1 (a :: Type) :: Type where
ConstType1 _ = Type
type F1 :: ConstType1 a -> Type
type family F1 x where
F1 @a (x :: ConstType1 a) = a
type F2 :: ConstType1 a -> ConstType1 a
type family F2 x where
F2 @a (x :: ConstType1 a) = x :: ConstType1 a
type F3 (x :: ConstType1 a) = a
type F4 (x :: ConstType1 a) = x :: ConstType1 a
type ConstType2 (a :: Type) = Type
type G1 :: ConstType2 a -> Type
type family G1 x where
G1 @a (x :: ConstType2 a) = a
type G2 :: ConstType2 a -> ConstType2 a
type family G2 x where
G2 @a (x :: ConstType2 a) = x :: ConstType1 a
type G3 (x :: ConstType2 a) = a
type G4 (x :: ConstType2 a) = x :: ConstType2 a
type Id1 (a :: Type) = a
type family H (a :: Type) :: Type where
H (Id1 a) = a
type family I (x :: Id1 a) :: Type where
I (x :: Id1 a) = a
type family Id2 (a :: Type) :: Type where
Id2 a = a
type family J (x :: Id2 a) :: Type where
J (x :: Id2 a) = a
|
