@omochimetaru @tarunon さんが言ってるのは、 @omochimetaru の方法で実行時エラーになるようなケースは @tarunon さんの方法では型エラーにできるってことなんじゃないの？