Пересмотрел свое видео про каррирование. Определенно это один из лучших моих роликов, все абсолютно по делу и корректно. Сейчас бы я некоторые моменты дополнил, но всякие придирки к этому видео я не принимаю. Там из стрелочного варианта, предложенного мной, с минимальными правками можно получить каррированый лямбда терм, который уже может использоваться по правилам лямбда исчисления.
https://youtu.be/pzV5rJ19qsI?si=vWdclEV6mYHAyVRq