パターンマッチは実行時において連続して評価されます。別の言い方をすると、節が選択されるのは与えられた値がその節に関連するパターンガードにマッチし、しかも値がその前にあるどの節のパターンにもマッチしない場合にだけです。*)けれども、この場合は型検査に失敗します。節の型検査は(連続的と言うよりむしろ)非決定的です。この例では、2番目の節が型検査に失敗します。最初の節のパターンガードへのマッチに失敗することが仮定されていないからです。使うと、その前のいずれの節のパターンガードにもマッチしなかったという連続的な仮定において、この節が型検査されるべきであると、型検査器に指示します。最初の2パターンにマッチしないとたやすく推論できます。()なぜ節の型検査がデフォルトで連続的に行なわれないのか気にするかもしれません。その単純な理由は、全体に適用すると型検査の効率に大きなマイナスの影響があるからです。したがって、特定の節の型検査に連続的な仮定を時々使うための明確な手段をプログラマに提供するのは、妥当なデザインなのです。