型が重要な箇所があるなら、その部分で型チェックすればいいじゃない