Data.Singletons.TypeLits
data Nat
data Symbol
data family Sing (a :: k)
type SNat x
type SSymbol x
withKnownNat
withKnownSymbol
type family Error (str :: k0) :: k
data ErrorSym0 l
type ErrorSym1 t
sError
class KnownNat n
natVal
class KnownSymbol n
symbolVal
type a :^ b
data (:^$) l
data l :^$$ l
type t :^$$$ t