Продолжение прохождения преобразования двоичных функций
Вспомните преобразование прохождения продолжения (преобразование CPS), которое переводит в (где фиксировано) и до определяется как На самом деле у нас есть монада продолжения с единицей определенной как и умножение определяемое как β A : = R R A R f : A → B β f : β A → β B βAAAβA:=RRAβA:=RRA\beta A...