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. 1