{-# OPTIONS --without-K --safe #-}

module DepthComonads.Unit where

open import Agda.Builtin.Unit public