module Prelude.Unit where

data Unit : Set where
  unit : Unit

{-# COMPILED_DATA Unit () () #-}