{-# OPTIONS --exact-split --safe --prop #-}
module Structure.Monoid where

open import Structure.Monoid.Definition public
open import Structure.Monoid.Function public
open import Structure.Monoid.Property public
open import Structure.Monoid.Construction public

