{-# OPTIONS --safe #-}
module stdlib-classes.Class.HasCast where

open import stdlib-classes.Class.HasCast.Base public
open import stdlib-classes.Class.HasCast.Instances public
open import stdlib-classes.Class.HasCast.Derive public