（トートロジーだけど）
型を省略せずに書く必要がある環境で静的検査を常に（高頻度に）してもらうのって、「お前が書いたコード矛盾してるんだけど？」って指摘してもらうのと同じじゃん？＞＜
矛盾って複数の要素に齟齬があるから矛盾であって要素ひとつでは矛盾は発生し無いじゃん？＞＜