{-# OPTIONS --cubical-compatible #-}
module Class.CommutativeMonoid where

open import Class.CommutativeMonoid.Core public
open import Class.CommutativeMonoid.Instances public