Data.Singletons.TypeLits
data Nat
data Symbol
type SNat x
type SSymbol x
withKnownNat
withKnownSymbol
type family Error str :: k
sError
class KnownNat n
natVal
class KnownSymbol n
symbolVal