{-# OPTIONS --cubical-compatible #-}
module Class.HasAdd.Instances where

open import Class.Prelude
open import Class.HasAdd.Core

instance
  addNat : HasAdd ℕ
  addNat ._+_ = Nat._+_

  addInt : HasAdd ℤ
  addInt ._+_ = Int._+_

  addRat : HasAdd ℚ
  addRat ._+_ = Q._+_

  addString : HasAdd String
  addString ._+_ = Str._++_