{-# OPTIONS --safe #-}

module Data.Unit where

open import Agda.Builtin.Unit public