2
Продовження, що проходить перетворення двійкових функцій
Нагадаємо продовжуючу передачу перетворення (CPS перетворення), яка приймає від до (де закріплено) і до визначено Насправді у нас є монада продовження з одиницею визначена і множення визначене β A : = R R A R f : A → B β f : β A → β B βАAAβA : …