Unit

Unit is the empty (void) datatype.

Datatypes and constructors

Both the datatype and the single constructor are named Unit.