むむー type checker が弱音を吐くパターンは出てきそうですねー