diff --git a/LLVM/Core/Instructions.hs b/LLVM/Core/Instructions.hs
--- a/LLVM/Core/Instructions.hs
+++ b/LLVM/Core/Instructions.hs
@@ -414,6 +414,7 @@
     abinop cop _ (ConstValue a1) (ConstValue a2) =
         return $ ConstValue $ cop a1 a2
 
+{-
 instance (IsConst a) => ABinOp (Value a) a where
     type ABinOpResult (Value a) a = Value a
     abinop cop op a1 a2 = abinop cop op a1 (constOf a2)
@@ -421,6 +422,7 @@
 instance (IsConst a) => ABinOp a (Value a) where
     type ABinOpResult a (Value a) = Value a
     abinop cop op a1 a2 = abinop cop op (constOf a1) a2
+-}
 
 --instance (IsConst a) => ABinOp a a (ConstValue a) where
 --    abinop cop op a1 a2 = abinop cop op (constOf a1) (constOf a2)
@@ -778,6 +780,7 @@
     type CmpType (Value a) (Value a) = a
     cmpop op (Value a1) (Value a2) = buildBinOp op a1 a2
 
+{-
 instance (IsConst a, CmpRet a) => CmpOp a (Value a) where
     type CmpType a (Value a) = a
     cmpop op a1 a2 = cmpop op (valueOf a1) a2
@@ -785,6 +788,7 @@
 instance (IsConst a, CmpRet a) => CmpOp (Value a) a where
     type CmpType (Value a) a = a
     cmpop op a1 a2 = cmpop op a1 (valueOf a2)
+-}
 
 class CmpRet c where
     type CmpResult c :: *
diff --git a/LLVM/Util/Arithmetic.hs b/LLVM/Util/Arithmetic.hs
--- a/LLVM/Util/Arithmetic.hs
+++ b/LLVM/Util/Arithmetic.hs
@@ -14,9 +14,11 @@
     (%&&), (%||),
     (?), (??),
     retrn, set,
+{-
     ArithFunction, arithFunction,
     UnwrapArgs, toArithFunction,
     recursiveFunction,
+-}
     CallIntrinsic,
     ) where
 
@@ -24,7 +26,6 @@
 import qualified LLVM.Core as LLVM
 import LLVM.Core hiding (cmp, )
 import LLVM.Util.Loop(mapVector, mapVector2)
-import Control.Monad(liftM2)
 
 -- |Synonym for @CodeGenFunction r (Value a)@.
 type TValue r a = CodeGenFunction r (Value a)
@@ -199,6 +200,7 @@
     op <- externFunction ("llvm." ++ fn ++ "." ++ intrinsicTypeName (undefined :: a))
     runCall (callFromFunction op `applyCall` x `applyCall` y) >>= addReadNone
 
+{-
 -------------------------------------------
 
 class ArithFunction a b | a -> b, b -> a where
@@ -264,6 +266,7 @@
     let f' = toArithFunction f
     defineFunction f $ arithFunction (af f')
     return f
+-}
 
 -------------------------------------------
 
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:       3.0.0.2
+version:       3.0.1
 license:       BSD3
 license-file:  LICENSE
 synopsis:      Bindings to the LLVM compiler toolkit using type families.
@@ -90,6 +90,6 @@
   location: http://code.haskell.org/~thielema/llvm-tf/
 
 source-repository this
-  tag:      3.0.0.2
+  tag:      3.0.1
   type:     darcs
   location: http://code.haskell.org/~thielema/llvm-tf/