diff --git a/CHANGELOG.md b/CHANGELOG.md
--- a/CHANGELOG.md
+++ b/CHANGELOG.md
@@ -1,5 +1,9 @@
 # Changelog for the [`clash-lib`](http://hackage.haskell.org/package/clash-lib) package
 
+## 0.6.17 *June 9th 2016*
+* Fixes bugs:
+  * `Eq` instance of `Vec` sometimes not synthesisable
+
 ## 0.6.16 *June 7th 2016*
 * New features:
   * DEC transformation also lifts HO-primitives applied to "interesting" primitives (i.e. `zipWith (*)`)
diff --git a/clash-lib.cabal b/clash-lib.cabal
--- a/clash-lib.cabal
+++ b/clash-lib.cabal
@@ -1,5 +1,5 @@
 Name:                 clash-lib
-Version:              0.6.16
+Version:              0.6.17
 Synopsis:             CAES Language for Synchronous Hardware - As a Library
 Description:
   CλaSH (pronounced ‘clash’) is a functional hardware description language that
@@ -103,11 +103,11 @@
                       lens                    >= 3.9.2    && < 4.15,
                       mtl                     >= 2.1.2    && < 2.3,
                       pretty                  >= 1.1.1.0  && < 1.2,
-                      process                 >= 1.1.0.2  && < 1.3,
-                      template-haskell        >= 2.8.0.0  && < 2.11,
+                      process                 >= 1.1.0.2  && < 1.5,
+                      template-haskell        >= 2.8.0.0  && < 2.12,
                       text                    >= 0.11.3.1 && < 1.3,
-                      time                    >= 1.4.0.1  && < 1.6,
-                      transformers            >= 0.3.0.0  && < 0.5,
+                      time                    >= 1.4.0.1  && < 1.7,
+                      transformers            >= 0.3.0.0  && < 0.6,
                       unbound-generics        >= 0.1      && < 0.4,
                       unordered-containers    >= 0.2.3.3  && < 0.3,
                       uu-parsinglib           >= 2.8.1    && < 2.10,
diff --git a/src/CLaSH/Normalize/Transformations.hs b/src/CLaSH/Normalize/Transformations.hs
--- a/src/CLaSH/Normalize/Transformations.hs
+++ b/src/CLaSH/Normalize/Transformations.hs
@@ -246,6 +246,9 @@
           | nm == "Control.Exception.Base.patError" ->
             let e' = mkApps (Prim nm ty') [Right ty,msg]
             in  changed e'
+          | nm == "Control.Exception.Base.absentError" ->
+            let e' = mkApps (Prim nm ty') [Right ty,msg]
+            in  changed e'
         (Prim nm ty',[_])
           | nm == "GHC.Err.undefined" ->
             let e' = mkApps (Prim nm ty') [Right ty]