Data.Singletons.TypeLits

data Nat

data Symbol

type SNat x

type SSymbol x

withKnownNat

withKnownSymbol

type family Error str :: 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