{-# OPTIONS --safe #-}

module DepthComonads.Instance where

open import DepthComonads.Level

it : ⦃ inst : A ⦄ → A
it ⦃ inst ⦄ = inst