Yes, exactly.
Specifically, the "wrong" example in section 'Multiple Type Variable
Tuples: Not Allowed' suggests that maybe what is wrong is that `Generic`
was given more than one unpacked type variable tuple. The actual problem
is a consequence of that: `class Array` has more than one type varia
The wording there probably should be improved. I had a different
interpretation when I read that, so that suggests it needs to be clarified.
We should ensure to draw a clear distinction between type parameters and
type arguments. (Generic classes and functions are parameterized over type
paramet
