省略やあいまいさを許容するには、誤差の理解、影響の理解などの高位の理解が必要だ。
リスト要素の省略は、特定の位置にゼロ個以上の要素を内包的に追加したものでもパターンマッチできるようにするという処理で実現できる。