module Prelude (module Control.Category,
                module Data.Data,
                module Data.Either,
                module Data.Type.Equality,
                module Data.Typeable,
                Semigroup (..), Monoid (..)) where

import Control.Category
import Data.Data
import Data.Either
import Data.Monoid (Monoid (..))
import Data.Semigroup (Semigroup (..))
import Data.Type.Equality
import Data.Typeable