{-# OPTIONS --safe --without-K #-}
 
module Class.CommutativeMonoid where
 
open import Class.CommutativeMonoid.Core public
open import Class.CommutativeMonoid.Instances public