やっと言ってることがわかった ... 演算子自体の型をうけとけば ... が渡せるってことか。