Почему бы и нет? Помимо синтаксиса, самоподобные структуры появляются по всей компьютерной науке. Рассмотрим двоичное дерево: каждый узел имеет ссылку на два других дерева (представленных их корневыми узлами). Типичным способом создания такого дерева является тип, который создается не с одним, а с двумя ссылками на другие экземпляры этого типа.
В целом, циклы в системе типов не совпадают с циклами в графе объектов . Обычно первый - это дизайн, но второй может превратиться в ошибку.