GHC.TypeLits.KnownNat
data SNatKn n
class KnownNat1 f a
class KnownNat2 f a b
class KnownNat3 f a b c
nameToSymbol