Straightforward error messages are only an aspect of straightforward template definitions: the problem of restricting templates to suitable type parameters has

Straightforward error messages are only an aspect of straightforward template definitions: the problem of restricting templates to suitable type parameters has the first general, explicit and well organized solution.