A type that represents computation the result of which doesn't matter. It has only one value that means nothing, and is also known as the unit type.
singleton void
subtypes deeply immutable data