Import CommutativeMonoid from the top-level

agda · Oct 11, 2024 · 53153fc · 53153fc
1 parent 15066a6
commit 53153fc
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/standard-library-classes.agda b/standard-library-classes.agda
@@ -4,6 +4,7 @@ module standard-library-classes where
 -- ** Algebraic structures
 open import Class.Semigroup public
 open import Class.Monoid public
+open import Class.CommutativeMonoid public
 open import Class.Functor public
 open import Class.Bifunctor public
 open import Class.Applicative public