así que hoy pensé que había encontrado una manera de enumerar solo términos lineales mientras seguía podando ramas muertas perezosamente. eso sería una aceleración masiva en SupGen, pero no funcionó :( Así que volvemos a enumerar los términos λ completos en el lado positivo, aprendí que podemos enumerar todos los términos de tipos de datos arbitrarios, sin necesidad de dividir etiquetas, simplemente construyéndolo como un acumulador con agujeros. no parece muy útil, pero, de todos modos, aquí está la fuente de HVM3: