diff --git a/Data/Constraint.hs b/Data/Constraint.hs
--- a/Data/Constraint.hs
+++ b/Data/Constraint.hs
@@ -5,6 +5,7 @@
 import Control.Categorical.Functor
 import Control.Category
 import Data.Kind (Constraint)
+import Data.Semigroup
 
 data Dict a where Dict :: a => Dict a
 
diff --git a/constraint.cabal b/constraint.cabal
--- a/constraint.cabal
+++ b/constraint.cabal
@@ -1,5 +1,5 @@
 name:                constraint
-version:             0.1.1.0
+version:             0.1.1.1
 synopsis:            Reified constraints
 -- description:         
 license:             BSD3