.. _type-unit:

Unit
====

``Unit`` is the empty (void) datatype.

Datatypes and constructors
--------------------------

Both the datatype and the single constructor are named ``Unit``.