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

open import Class.Anyable.Core public
open import Class.Anyable.Instances public