295 ;;Quote: templates capture abstractions while retaining performance; at instantiation, compiler has the calling and called context; instantiated only if needed

296 ;;Quote: want separate checking of templates and their uses; if check the template and its uses against the template's parameter concepts, then instantiations should type check

296 ;;Quote: within a template, x*x is a dependent name that depends on the type parameter; * is an implicit parameter

298 ;;Quote: template concepts restrict the allowable types; e.g., Assignable with Assignable as true

299 ;;Quote: define use patterns that a type must implement; e.g., 'p++=v' or 'bool b = (p != q);'

300 ;;Quote: use patterns, like C++ expressions, are more abstract and readable than an equivalent set of operations and auxiliary types

300+;;Quote: use abstract tree matching to check the parse tree of a use pattern

305 ;;Quote: output iterators in the C++ Standard Library are difficult to specify; what is the relationship between value written, iterator, and algorithm?