module Unit where

data Unit : Set where
  <> : Unit

-- <> is the empty tuple, the unique element of the Unit type