diff --git a/type-eq.cabal b/type-eq.cabal
--- a/type-eq.cabal
+++ b/type-eq.cabal
@@ -1,6 +1,6 @@
 name:          type-eq
 category:      Type System
-version:       0.2
+version:       0.2.1
 author:        Gábor Lehel
 maintainer:    Gábor Lehel <illissius@gmail.com>
 homepage:      http://github.com/glehel/type-eq
@@ -78,7 +78,7 @@
         cpp-options: -DHAVE_DEPENDENCIES
         build-depends:
 -- Semigroupoid
-            semigroupoids >= 1.0 && < 3.1,
+            semigroupoids >= 1.0 && < 3.2,
 -- Groupoid
             groupoids     >= 0.1 && < 3.1
 -- Tensor
