{-# OPTIONS --safe #-}
module Data.Quotient.Type where

open import Data.Quotient.Type.Base       public
open import Data.Quotient.Type.Path       public
-- open import Data.Quotient.Type.Properties public

-- open import Data.Quotient.Type.Instances.Everything public
