>>82 型を宣言しなくても勝手に正しく推論してくれるしくみだよ。

いつはいるの?