A zero-sized fundamental type with no possible values.
Void may not be constructed. It is included so that 3rd-generation language idioms may be represented. Unit may be more useful in generic programming contexts.