$0が Array<String> 確定するから、$0[0]がStringになって String: Intになりそうだけど、保守的な推論になっちゃう？ (edited)