略語しくは別名として取り扱われます。型のタプルを引数として1つだけ取るunaryです。型検査器は関数のアリティが合わないというエラーを出力します。2つの引数が適用されたと見なしてしまうためです。関数のみを許しています。これらの言語において、複数の引数を取る関数はエンコードして表現します。カリー化された関数に連続してそれらの引数を渡すようにして実現されています。複数引数を持つ関数を直接サポートしています。可変長引数の関数を限定的にサポートしています。この話題は別の章で取り上げます。関数インターフェイス。