Runtime type dispatch

A pattern typically associated with Union types in which the type of a value is checked so that specialized logic can be carried out. Flow-sensitive typing is especially useful.