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