Типовой беспредел: бинарное дерево на типах

Практическая польза? Ноль. Смысл? Нет. Что-нибудь понятно? Ничего.

Это значит, что мы будем строить бинарное дерево исключительно на системе типов TypeScript. Не для того, чтобы решить реальную задачу, а чтобы показать, насколько умопомрачительными бывают возможности языка. Если даже это вас не удивит, то едва ли удивит вообще что-либо.