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

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

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