Люблю я всякие кринжевые задачки на абстрактное мышление. Например, "загадайте такое число, которое гарантированно можно угадать с первого раза".

Будет ли решением ввести абстракцию "любое число", которое при сравнении с любым конкретным числом выдаст true?

Приходим к тому, что есть строгое сравнение при котором "любое число" может быть равно только "любому числу", и нестрогое сравнение, которое вроде как решает нашу задачу.

При этом аналогии этого примера легко проследить в реальных ЯП, например абстрактные значения NaN или сравнения == и ===

Отсюда же можно прийти к пониманию промисов, потому как "любое число" в некотором смысле - значение определённое в будущем.