Explanation: The type representing values that don't exist. Commonly used in functions that throw errors or infinitely loop, ensuring no return value.