takže jsem si dnes myslel, že jsem našel způsob, jak vyjmenovat pouze lineární výrazy a přitom líně prořezávat mrtvé větve. to by bylo masivní zrychlení na SupGenu, ale nefungovalo to :( Takže jsme zpět u výčtu úplných λ-členů na druhou stranu jsem se naučil, že můžeme vyjmenovat všechny termíny libovolných datových typů, aniž bychom museli dělit štítky, tím, že to prostě postavíme jako akumulátor s dírami. nezdá se to příliš užitečné, ale každopádně zde je zdroj HVM3: