{-# OPTIONS --safe #-}

module Data.Empty.UniversePolymorphic where

open import Level

data ⊥ {ℓ : Level} : Type ℓ where