diff --git a/llvm-tf.cabal b/llvm-tf.cabal
--- a/llvm-tf.cabal
+++ b/llvm-tf.cabal
@@ -1,5 +1,5 @@
 Name:          llvm-tf
-Version:       15.0
+Version:       16.0
 License:       BSD3
 License-File:  LICENSE
 Synopsis:      Bindings to the LLVM compiler toolkit using type families.
@@ -37,7 +37,7 @@
   Location: http://code.haskell.org/~thielema/llvm-tf/
 
 Source-Repository this
-  Tag:      15.0
+  Tag:      16.0
   Type:     darcs
   Location: http://code.haskell.org/~thielema/llvm-tf/
 
@@ -53,7 +53,7 @@
 Library private
   Default-Language: Haskell98
   Build-Depends:
-    llvm-ffi >=15.0 && <16.0,
+    llvm-ffi >=15.0 && <17.0,
     tfp >=1.0 && <1.1,
     transformers >=0.3 && <0.7,
     storable-record >=0.0.2 && <0.1,
diff --git a/private/LLVM/Core/Instructions.hs b/private/LLVM/Core/Instructions.hs
--- a/private/LLVM/Core/Instructions.hs
+++ b/private/LLVM/Core/Instructions.hs
@@ -81,7 +81,8 @@
 import qualified LLVM.Core.Proxy as LP
 import qualified LLVM.Core.CodeGen as CodeGen
 import LLVM.Core.Instructions.Private
-            (ValueCons, unValue, convert, unop, binopValue, proxyFromValuePtr,
+            (ValueCons, unValue, convert,
+             unop, unopValue, binopValue, proxyFromValuePtr,
              FFIBinOp, FFIConstBinOp,
              GetField, FieldType, GetElementPtr, ElementPtrType,
              IsIndexArg, IsIndexType, getIxList, getArg,
@@ -493,12 +494,12 @@
       U.withEmptyCString $ op bld a1 a2
 
 neg ::
-    (ValueCons value, IsArithmetic a) =>
-    value a -> CodeGenFunction r (value a)
+    (IsArithmetic a) =>
+    Value a -> CodeGenFunction r (Value a)
 neg =
     withArithmeticType $ \typ -> case typ of
-      IntegerType  -> unop FFI.constNeg FFI.buildNeg
-      FloatingType -> unop FFI.constFNeg FFI.buildFNeg
+      IntegerType  -> unopValue FFI.buildNeg
+      FloatingType -> unopValue FFI.buildFNeg
 
 ineg ::
     (ValueCons value, IsInteger a) =>
@@ -515,9 +516,9 @@
      else unop FFI.constNUWNeg FFI.buildNUWNeg
 
 fneg ::
-    (ValueCons value, IsFloating a) =>
-    value a -> CodeGenFunction r (value a)
-fneg = unop FFI.constFNeg FFI.buildFNeg
+    (IsFloating a) =>
+    Value a -> CodeGenFunction r (Value a)
+fneg = unopValue FFI.buildFNeg
 
 inv ::
     (ValueCons value, IsInteger a) =>
diff --git a/private/LLVM/Core/Instructions/Private.hs b/private/LLVM/Core/Instructions/Private.hs
--- a/private/LLVM/Core/Instructions/Private.hs
+++ b/private/LLVM/Core/Instructions/Private.hs
@@ -109,10 +109,13 @@
     getUnOp $
     switchValueCons
         (UnOp $ \(ConstValue a) -> liftIO $ fmap ConstValue $ cop a)
-        (UnOp $ \(Value a) ->
-            liftM Value $
-            withCurrentBuilder $ \ bld ->
-                U.withEmptyCString $ op bld a)
+        (UnOp $ unopValue op)
+
+unopValue :: FFIUnOp -> Value a -> CodeGenFunction r (Value b)
+unopValue op (Value a) =
+    liftM Value $
+    withCurrentBuilder $ \ bld ->
+        U.withEmptyCString $ op bld a
 
 newtype BinOp a b c r value =
     BinOp {getBinOp :: value a -> value b -> CodeGenFunction r (value c)}