{-# OPTIONS --cubical-compatible #-}
module Class.Monoid where
 
open import Class.Monoid.Core public
open import Class.Monoid.Instances public