Specialized and Recursive TypesFunction Arguments and Undefined SentinelsFunction Arguments and Undefined Sentinels