GHC.TypeLits.KnownNat

Singleton natural number

data SNatKn n

Constraint-level arithmetic classes

class KnownNat1 f a

class KnownNat2 f a b

class KnownNat3 f a b c

Template Haskell helper

nameToSymbol