Calcular un árbol (infinito) desde el operador de punto fijo utilizando la modalidad de retraso

Aquí hay un rompecabezas de programación funcional que involucra estructuras de datos infinitos y de bucle. Hay un poco de fondo, así que agárrate fuerte. El ajuste.Definamos un tipo de datos que represente tipos de datos recursivos: type Var = ...