型エラーの「可能性」まで事前に検知したいのか、
型エラーの「発生」をその時に検知できればいい、
というスタンスの違いってことか。なら理解できる。