fixed definition of list

[joaquintides]

A list is not a class template (e.g. mp_list) but an instantation of it (e.g. mp_list<int>).

[pdimov]

It doesn't say "class template" though. :-)

[joaquintides]

If "template class" is to be taken as meaning "instantiation of a class template", the definition does not make sense, as instantiations of class templates, being types, can't be variadic or have parameters.

[pdimov]

That's what it used to mean in the standard, although I see that it's no longer used in the latest draft.

[pdimov]

as instantiations of class templates, being types, can't be variadic or have parameters.

Technically correct, they can only have arguments, not parameters.

Your fix is still wrong though, because it needs to change "template class" into "class template" in order to make sense.