なんとなく双方向で型推論してくれてるんだと思ってたんですがそうでもないんですね