Unit type

Unit is a special built-in type with only a single value, which can be written unit (or ■, U+25A0 BLACK SQUARE).

Disco> :type unit
■ : Unit
Disco> unit
■
Disco> ■
■

This is not very useful on its own, but becomes very useful when combined with sum and pair types to create custom recursive algebraic types.