←
composite value
ideal
•
library
•
elements
• void
equality comparable
→
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
←
composite value
ideal
•
library
•
elements
• void
equality comparable
→