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