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

module Categories.Category.Instance.Zero {o ℓ e} where

open import Categories.Category.Instance.Zero.Core {o} {ℓ} {e} public
open import Categories.Category.Instance.Zero.Properties {o} {ℓ} {e} public