blob: 6412452680e1a3a8525f972cf7c0ddc25b68d730 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
|
{-# LANGUAGE StandaloneKindSignatures, PolyKinds, DataKinds, TypeFamilies,
UnliftedNewtypes #-}
module T17021a where
import Data.Kind
import GHC.Exts
type family Id x where
Id x = x
type LevId :: TYPE (Id LiftedRep) -> TYPE (Id LiftedRep)
newtype LevId x = MkLevId x
type LevId2 :: (r ~ Id LiftedRep) => TYPE r -> TYPE r
newtype LevId2 x = MkLevId2 x
|
