module Data.Monoid
    ( module Data.Semigroup
    , module Data.Unital
    , Monoid
    ) where

import Data.Semigroup (Semigroup)
import Data.Unital

-- | A 'Monoid' is a set with an associative binary operation and an
--   identity element.
class (Semigroup l, Unital l) => Monoid l where

instance Monoid b => Monoid (a -> b)