辅助。就是说，将通过柯里化给出的自然变换：转换成计算机函数，这里左侧表示函数的未柯里化形式，而右侧是柯里化后的形式。 C指示从A到C的泛函（参见），而A×B指示A和B的笛卡尔乘积。
例子.
APL家族.在J语言中，欧拉公式formula_2可隐式表达为：cos =: 2 o. ]sin =: 1 o. ]Euler =: ^@j. = cos j. sin这里用到了一些原语（primitive）函数：codice_8表示全局定义；codice_9