module Class.Allable where

open import Class.Allable.Core public
open import Class.Allable.Instance public