Specifying arguments for type functions

Arguments for type functions can be type names (aliases, named structures and unions, ordinals) and other data types.