diff --git a/LLVM/Core/Type.hs b/LLVM/Core/Type.hs
--- a/LLVM/Core/Type.hs
+++ b/LLVM/Core/Type.hs
@@ -204,8 +204,6 @@
 -- class (IsType a) => IsPrimitive a
 class (IsType a, NumberOfElements a ~ D1) => IsPrimitive a
 
--- do we really need IsScalarOrVector?
--- proposal: either associate NumberOfElements with IsType or make it a non-associated type family
 -- |Number of elements for instructions that handle both primitive and vector types
 class (IsType a) => IsScalarOrVector a where
     type NumberOfElements a :: *
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.0
+version:       3.0.0.0.1
 license:       BSD3
 license-file:  LICENSE
 synopsis:      Bindings to the LLVM compiler toolkit using type families.
@@ -51,7 +51,7 @@
     llvm-base == 3.0.*,
     mtl,
     process,
-    tfp >= 0.7 && < 0.8,
+    tfp >= 0.6 && < 0.8,
     containers
 
   ghc-options: -Wall
@@ -90,6 +90,6 @@
   location: http://code.haskell.org/~thielema/llvm-tf/
 
 source-repository this
-  tag:      3.0.0.0
+  tag:      3.0.0.0.1
   type:     darcs
   location: http://code.haskell.org/~thielema/llvm-tf/