invalidは曖昧である。インスタンス化しても満されるからである。されないものと考え、静的エラーとなる。このような型は不正である。曖昧な型はユーザの入力によってのみ回避される。シグネチャを使うことである。ように書くことができる。(x::Bool)これで型が曖昧でなくなる。同じ型を作るためにべつの意味で曖昧な式が必要となる。強制的に同じ型になる。おける曖昧性はよくあることである。これを解決するもうひとつの方法を提供する。