コンパイル時に型自体の比較が出来ればいいんだけどねぇ