diff --git a/Data/Semifunctor/Associative.hs b/Data/Semifunctor/Associative.hs
--- a/Data/Semifunctor/Associative.hs
+++ b/Data/Semifunctor/Associative.hs
@@ -6,6 +6,7 @@
 import Control.Comonad
 import Data.Functor.Bind
 import Data.Semifunctor
+-- import Data.Groupoid.Isomorphism
 
 class Semifunctor p (Product k k) k => Associative k p where
   associate :: k (p(p(a,b),c)) (p(a,p(b,c)))
@@ -65,3 +66,9 @@
   disassociate = cokleisliDisassociate
 
 --  instance Associative k p => Disassociative (Dual k) p
+
+-- instance (Associative k p, Disassociative k p) => Associative (Iso k) p where
+--  associate = Iso associate disassociate
+
+--instance (Associative k p, Disassociative k p) => Disassociative (Iso k) p where
+--  disassociate = Iso disassociate associate
diff --git a/semigroupoid-extras.cabal b/semigroupoid-extras.cabal
--- a/semigroupoid-extras.cabal
+++ b/semigroupoid-extras.cabal
@@ -1,6 +1,6 @@
 name:          semigroupoid-extras
 category:      Control
-version:       0.2.6
+version:       0.2.6.1
 license:       BSD3
 cabal-version: >= 1.6
 license-file:  LICENSE
@@ -21,9 +21,9 @@
   build-depends: 
     base >= 4 && < 5,
     distributive >= 0.2 && < 0.3,
-    semigroupoids >= 1.2.2 && < 1.3,
-    groupoids >= 0.1.1 && < 0.2,
-    comonad >= 1.1 && < 1.2
+    semigroupoids >= 1.2.4 && < 1.3,
+    groupoids >= 0.1.1.1 && < 0.2,
+    comonad >= 1.1.1 && < 1.2
 
   exposed-modules:
     Data.Semifunctor