{-# OPTIONS --cubical-compatible #-} module Class.HasAdd where open import Class.HasAdd.Core public open import Class.HasAdd.Instance public