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