A callable with registered implementations selected by a dispatch rule at runtime.
Also known as generic functions