Рекурсивный тип

Рекурси́вный тип данных — такой алгебраический тип данных, который определяется рекурсивно, т. е. в качестве одного или нескольких внутренних полей может содержать элементы типа самого себя.