もうちっと別の言い方をすれば、
「idは仮パラメータだが、
id 123とid "abc"の両方を処理できるidの実パラメータが存在しないことが
型的に証明されている」
という言い方もできる。