> {-# OPTIONS_HADDOCK show-extensions #-}
> 
> module Data.Representation.FiniteSemigroup
>     ( module Data.Representation.FiniteSemigroup.Base
>     , module Data.Representation.FiniteSemigroup.Classification
>     , module Data.Representation.FiniteSemigroup.Order
>     , module Data.Representation.FiniteSemigroup.Variety
>     ) where
> import Data.Representation.FiniteSemigroup.Base
> import Data.Representation.FiniteSemigroup.Classification
> import Data.Representation.FiniteSemigroup.Order
> import Data.Representation.FiniteSemigroup.Variety