Runtime selection of one implementation from the type of one designated argument.
Also known as single-dispatch