blob: 9354ee0011cb6300fb2e366ad44da4b39b661f29 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
|
{-# LANGUAGE DataKinds, TypeFamilies, GADTs #-}
module T6152 where
data U = Unit
data SU (a :: U) where
SInt :: SU Unit
type family I (a :: U) :: U
type instance I Unit = Unit
type SUI a = SU (I a)
|