Type specifications for common ways of creating compound values.