なるほど。今の三項演算子がすでに型推論器に負荷かかってるのでやめたい、という感じなんですね