{-# LANGUAGE NoImplicitPrelude #-}

module Precursor.Algebra.Semigroup
  ( -- * 'Semigroup' typeclass
    Semigroup
  , (<>)
  , sconcat
  , stimesMonoid
  , stimesIdempotent
  , stimesIdempotentMonoid
  , mtimesDefault
  , First(..)
  , Last(..)
  -- * 'Ord' wrappers
  , Min(..)
  , Max(..)
  -- * Backwards compatibility
  , WrappedMonoid(..)
  ) where

import Data.Semigroup