давай я попробую по порядку, а вы меня поправите? первое: Fix f. это рекурсивная часть, насколько я понимаю, т.к. Fix f определяется через самого себя. а вот на этапе f (Fix f) начинается недоумение. как я это понимать должен?
f можно применить к любому типу. почему бы не применить его к типу Fix f?
Обсуждают сегодня