diff --git a/Numeric/Coalgebra/Geometric.hs b/Numeric/Coalgebra/Geometric.hs
--- a/Numeric/Coalgebra/Geometric.hs
+++ b/Numeric/Coalgebra/Geometric.hs
@@ -74,7 +74,7 @@
   where 
     -- a 64 bit deBruijn multiplication table
     ix :: UArray (BasisCoblade m) Word8
-    ix = listArray (0, 63) 
+    ix = listArray (0, 63)
       [ 63,  0, 58,  1, 59, 47, 53,  2
       , 60, 39, 48, 27, 54, 33, 42,  3
       , 61, 51, 37, 40, 49, 18, 28, 20
diff --git a/Numeric/Decidable/Associates.hs b/Numeric/Decidable/Associates.hs
--- a/Numeric/Decidable/Associates.hs
+++ b/Numeric/Decidable/Associates.hs
@@ -10,7 +10,7 @@
 import Numeric.Algebra.Unital
 import Numeric.Natural.Internal
 
-isAssociateIntegral :: Num n => n -> n -> Bool
+isAssociateIntegral :: (Eq n, Num n) => n -> n -> Bool
 isAssociateIntegral = (==) `on` abs
 
 isAssociateWhole :: Eq n => n -> n -> Bool
diff --git a/algebra.cabal b/algebra.cabal
--- a/algebra.cabal
+++ b/algebra.cabal
@@ -1,6 +1,6 @@
 name:          algebra
 category:      Math, Algebra
-version:       2.0.2
+version:       2.0.4
 license:       BSD3
 cabal-version: >= 1.6
 license-file:  LICENSE
@@ -44,8 +44,8 @@
     mtl                     >= 2.0     && < 2.1,
     semigroups              >= 0.8     && < 0.9,
     semigroupoids           >= 1.2.6   && < 1.3,
-    representable-functors  >= 2.0     && < 2.1,
-    representable-tries     >= 2.0.3   && < 2.1,
+    representable-functors  >= 2.1     && < 2.2,
+    representable-tries     >= 2.0.4   && < 2.1,
     void                    >= 0.5.4.3 && < 0.6
 
   exposed-modules: