module Prelude (module A) where

import Algebra as A (Semigroup (..), Monoid (..), Group)
import Control.Category.Dual as A (Dual (..))
import Data.Constraint as A
import Data.Either as A (Either (..))
import Data.Functor.Compose as A (Compose (..))
import Data.Functor.Identity as A (Identity (..))
import Data.Functor.Const as A (Const (..))
import Data.Functor.Product as A (Product (..))
import Data.Functor.Sum as A (Sum (..))
import Data.Proxy as A (Proxy (..))
import Data.Kind as A (Constraint, Type)
import Unconstrained as A (Unconstrained1)