Так ось, сьогодні я подумав, що знайшов спосіб перераховувати тільки лінійні терміни, при цьому ліниво обрізаючи мертві гілки. це було б величезним прискоренням на SupGen, але воно не спрацювало :( Отже, ми повертаємося до перерахування повних λ-членів з іншого боку, я дізнався, що ми можемо перераховувати всі терміни довільних типів даних, без необхідності розбивати мітки, просто будуючи його як акумулятор з отворами. здається не дуже корисним, але, так чи інакше, ось джерело HVM3: