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

open import Class.Semigroup.Core public
open import Class.Semigroup.Instances public