面白いラムダ式やオペレーター

• 関数化マクロオペレーター ?(E) Eをユニット定数を渡して評価する関数に変える ?(E) := λu:I.E
• 定数化マクロオペレーター !(E) 引数0個の関数を定数にする。 !(E) := E・!
• デカルトペア・マクロオペレータ λt:T.(E・t F・t)
• セルフ・シミュレーター 外部圏のevをラムダ定数射＝(1の下の対象)として表現する。