Ну не извращенцы ли эти математики? Канцелляторы, аппликативные сущности... У меня вот тут в php типы меняются в процессе вычислений без всяких комбинаторов и бета-редукций, и ничего - дельше строчки им деваться все равно некуда :).

(Что, кстати, про типизированную лямбду почитать? А то у меня в этой области явный пробел.)