Arity of a template signature is the number of parameters, or degrees of freedom. Non-template definitions are said to have arity zero. Later we will also refer to the arity of template specializations. We will use |A| to denote the arity of a template (including specialization).