{-# OPTIONS --without-K #-}
module Class.Monoid where

open import Class.Monoid.Core public
open import Class.Monoid.Instances public