解決されなければならないと主張するものである。型シグネチャを与えれば問題は解決する)。この問題は入れ子になった束縛では起こらない。囲全体が見えているからである。単相性の規則はプログラマに対してはいくつかの結論をもたらす。文で定義されるものはどれも通常は関数をのぞみどおり一般化する。定義においても使用することができる。ここでは、再計算の危険はない。x+yは完全な多重定義をしようとするなら型シグネチャを必要とする。数は殆どの場合、単純パターン束縛をつかって定義される。深く型シグネチャを付与し、完全な多重定義を維持しなければならない。標準プレリュードはこのことの例を多く含んでいる。トップレベルの定義と入れ子になった定義との両方に適用する。以下のような場合を考えよう。用いられる規則を説明する。義の集合を依存関係のグループにならべ直すことである。依存性解析とほとんど同じ方法で行われる。含み、これらはすべて同じ依存性グループに含まれる。