-- KnownNat: see Note [KnowNat & KnownSymbol and EvLit] in TcEvidence
knownNatClassNameKey :: Unique
knownNatClassNameKey = mkPreludeClassUnique 42
knownNatClassNameKey :: Unique
knownNatClassNameKey = mkPreludeClassUnique 42
knownNatClassNameKey = mkPreludeClassUnique 42