Кодт,

К>make_enum : 'a -> 'a -> ['a], энергично порождает список, никаких вложенностей здесь не нужно.
К>Головная рекурсия — всего лишь красивый способ записи; элементарно переделывается в хвостовую
К> [kodt] cool analisys goes here [/kodt]


Интересный у нас разговор получается. Я говорю, что неразумно заниматься эмуляцией (оптимизацией, компиляцией) вручную ФВП на C++ и привожу пример, когда такая эмуляция требует некоторых усилий. Ты это эмулировал и даже ухом не повёл.

Ладно, привожу пример чуть сложнее, но для тебя это по-прежнему "элементарно"...

Ок. Я так полагаю, что мне надо привести пример в 83 экрана, чтобы к тебе закралась мысль "не, всё-таки на C++ это неудобно...", ы?