Data.Singletons
data family Sing a
class SingI a
class SingKind kparam
type KindOf a
type Demote a
data SingInstance a
data SomeSing kproxy
data TyFun
data TyCon1
data TyCon2
data TyCon3
data TyCon4
data TyCon5
data TyCon6
data TyCon7
data TyCon8
type family Apply f x :: k2
type a @@ b
type SingFunction1 f
type SingFunction2 f
type SingFunction3 f
type SingFunction4 f
type SingFunction5 f
type SingFunction6 f
type SingFunction7 f
type SingFunction8 f
data KProxy t