それ以外の場合には、この束縛は関数束縛と呼ぶ。関数束縛は変数を関数値に束縛する。場合の省略形として扱われる。数は同じでなければならない。線形でなければならない。以上あらわれてはいけない。関数束縛には関数の値を中置演算子に束縛する別の構文も用意されている。つの関数定義は同等である。パターン束縛パターン束縛は変数を値に束縛する。上ついているかのように反駁不可パターンと同様に遅延照合される。上の関数束縛に対するのと同じ構造をしている。パターンが存在するとこの問題はややこしくなる。...最初の二つは、区別することができる。パターンになりえないからである。静的セマンティクスについてこの節で議論する。依存性解析変換はまず多相性を強化するために行なわれる。どちらも同じパターン束縛により束縛される。