つまり可変長の多値インターフェースなんか必要ない。
受け側で数が合わなければ未定義ではなく、エラーにすべきだろう。
実装するなら多値の数は固定にすべきだ。
数学的根拠もない、対象性もない、便利でもない、意味がない。