Unit type

Also written: (), unit

`()` means "no value". It's what a function returns when it has no arrow or when a stray semicolon removes its result.