{-# OPTIONS --safe --cubical-compatible #-}
module Class.HasAdd.Core where
 
record HasAdd (A : Set) : Set where
  infixl  _+_
  field _+_ : A → A → A
 
open HasAdd ⦃ ... ⦄ public