blob: db10d2a8c625b2f4258fb7f04d4fd8ed7d33c791 (
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
|
{-# LANGUAGE TypeFamilies, DataKinds, PolyKinds, GADTs #-}
module Dep3 where
import Data.Kind
import GHC.Exts ( Constraint )
type Star1 = *
data Id1 (a :: Star1) where
Id1 :: a -> Id1 a
data Id1' :: Star1 -> * where
Id1' :: a -> Id1' a
type family Star2 x where
Star2 x = *
data Id2a (a :: Star2 Constraint) = Id2a a
data Id2 (a :: Star2 Constraint) where
Id2 :: a -> Id2 a
data Id2' :: Star2 Constraint -> * where
Id2' :: a -> Id2' a
|
