module Class.HasOrder where open import Class.HasOrder.Core public open import Class.HasOrder.Instance public