型チェックが出来れば一致するデータ間は一つのコモンで出来るようになるので
型チェックの方法を聞いているのです。