古典的な記法の解釈

f(X), f(x) の合理的解釈 - 檜山正幸のキマイラ飼育記 メモ編 から； 古い記法では、結合（composition）と適用（apply）の区別をしてなかったことになる。

• f(x) は x;f だと思う。
• 変数 x:X があるとき、x = id_X とみなすとうまくいくことがある。x;f = f だから、f(x) = f
• 定数aは、1からの写像と考えて、f(a) = a;f
• その他のt, Xなどには、f(t) = t;f、f(X) = X;f など。
• f(t₁, ..., t_n) は、<t₁, ..., t_n>;f と解釈する。