{-# OPTIONS --safe --without-K #-}
module Class.Convertible where

open import Class.Convertible.Core public
open import Class.Convertible.Instances public