こう型アノテーションすると通るんで [0] の型推論の問題なんですかね (T.Index の) (edited)