Type Alias HasLiteralKey<Keys, Key>

HasLiteralKey: [Keys] extends [never]
    ? false
    : CompatibilityOf<Key, string> extends "similar"
        ? true
        : CompatibilityOf<Key, number> extends "similar"
            ? true
            : CompatibilityOf<Key, symbol> extends "similar"
                ? true
                : HasLiteralKey<Exclude<Keys, Key>>

Does the union of Keys contain at least one literal key?
Literal meaning a key which is not of type string | symbol | number?