diff --git a/Data/Constraint/Lifting.hs b/Data/Constraint/Lifting.hs
--- a/Data/Constraint/Lifting.hs
+++ b/Data/Constraint/Lifting.hs
@@ -9,6 +9,7 @@
 import Data.Functor.Classes
 import Data.Functor.Compose
 import Data.Morphism.Iso
+import Unconstrained
 
 class Lifting c d f where
     lift :: c a :- d (f a)
@@ -16,6 +17,8 @@
 type Endolifting c = Lifting c c
 
 --instance (∀ a . c a => d (f a)) => Lifting c d f where lift = Sub Dict
+
+instance Lifting c Unconstrained1 f where lift = Sub Dict
 
 instance Lifting Semigroup Monoid Maybe where lift = Sub Dict
 
diff --git a/constraint.cabal b/constraint.cabal
--- a/constraint.cabal
+++ b/constraint.cabal
@@ -1,5 +1,5 @@
 name:                constraint
-version:             0.1.2.1
+version:             0.1.3.0
 synopsis:            Reified constraints
 -- description:         
 license:             BSD3
@@ -20,6 +20,7 @@
   -- other-extensions:    
   build-depends:       base >=4.10 && <5
                      , category >=0.1.2 && <0.3
+                     , unconstrained >=0.1 && <0.2
   -- hs-source-dirs:      
   default-language:    Haskell2010
   default-extensions:  UnicodeSyntax