 Unit type

A data type with exactly one value. In Haskell, both the data type and its sole value are written (); it is often the result of a computation whose purpose is an effect.