型は読むとき素早く間違いなく読むためのものではない。
コンパイラに論理的間違い探しをさせてあとで指摘させるために与える付加情報だ。