>>218
呼び出し側の使われ方から推論できるよ？

正確には「呼び出し側が使われた時」っていうのは
呼び出し側の型も決定したってことだから、
関数の実装をするときにその型に書きなおすだけでいい。

関数の実装するんだから、すぐ上の行を編集するだけ。