{-# OPTIONS --cubical-compatible #-}
module Class.Pointed where

open import Class.Pointed.Core public
open import Class.Pointed.Instances public