Generic selection
Check whether a variable is of a certain qualified type
Generic selection based on multiple arguments
Type-generic printing macro