Many problems arising from spectacular error messages involving C++ templates are related to the fact that assumptions made by the C++ standard algorithms are stated in informal comments, not in code that is checked by the ...