>>43
ということは、“xy”を“λx.xy”の略記として使うことが
頻繁にあるということですよね?