diff --git a/Algebra.hs b/Algebra.hs
--- a/Algebra.hs
+++ b/Algebra.hs
@@ -1,7 +1,5 @@
-{-# LANGUAGE MultiParamTypeClasses #-}
 {-# LANGUAGE FlexibleContexts #-}
 {-# LANGUAGE FlexibleInstances #-}
-{-# LANGUAGE TypeFamilies #-}
 
 module Algebra (Semigroup (..), Monoid (mempty), Group (..), Abelian, Idempotent,
                 (+), (-), (*), (/)) where
diff --git a/alg.cabal b/alg.cabal
--- a/alg.cabal
+++ b/alg.cabal
@@ -1,5 +1,5 @@
 name:                alg
-version:             0.2.4.1
+version:             0.2.4.2
 synopsis:            Algebraic structures
 -- description:         
 license:             BSD3
@@ -30,7 +30,6 @@
                      , EmptyCase
                      , PartialTypeSignatures
                      , TypeOperators
-                     , ConstraintKinds
                      , PolyKinds
                      , StandaloneDeriving
                      , GeneralizedNewtypeDeriving