Как создавать рекурсивные типы?

Рекурсивные типы ссылаются сами на себя в своём определении, что позволяет описывать вложенные структуры произвольной глубины: деревья, JSON, связные списки. TypeScript поддерживает рекурсию и в type alias, и в interface, и в условных типах. Главное ограничение: рекурсия должна проходить через «отложенные» позиции (свойства объекта, аргументы функций, массивы), иначе компилятор выдаст ошибку циклической ссылки.