型推論とテンプレート(ジェネリック)は別なんじゃ…