Data.Singletons
data family Sing (a :: k)
class SingI a
class SingKind k
type KindOf a
type Demote a
data SingInstance a
data SomeSing k
data TyFun
type a ~> b
data TyCon1
data TyCon2
data TyCon3
data TyCon4
data TyCon5
data TyCon6
data TyCon7
data TyCon8
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 Proxy k t