TODO: write introduction for “Template Argument Deduction of Class Templates”.
TODO: expand this section.