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

open import Class.Allable.Core public
open import Class.Allable.Instances public