Void

Void is a type that isn't inhabited by any value. That is, if a function requires Void as an argument, it is impossible to call it because you cannot produce a value of type Void. ¹