diff --git a/ChangeLog b/ChangeLog
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,6 @@
+v1.0.4.8:
+* Dependency update for HSE 1.16 and transformers 0.5
+
 v1.0.4.7:
 * Dependency update for HSE 1.15 and transformers 0.4
 
diff --git a/Plugin/Pl/Parser.hs b/Plugin/Pl/Parser.hs
--- a/Plugin/Pl/Parser.hs
+++ b/Plugin/Pl/Parser.hs
@@ -68,7 +68,7 @@
 
 hseToDecl :: HSE.Decl -> Decl
 hseToDecl dec = case dec of
-  HSE.PatBind _ (HSE.PVar n) Nothing (HSE.UnGuardedRhs e) (HSE.BDecls []) ->
+  HSE.PatBind _ (HSE.PVar n) (HSE.UnGuardedRhs e) (HSE.BDecls []) ->
     Define (snd (nameString n)) (hseToExpr e)
   HSE.FunBind [HSE.Match _ n ps Nothing (HSE.UnGuardedRhs e) (HSE.BDecls [])] ->
     Define (snd (nameString n)) (foldr (\p x -> Lambda (hseToPattern p) x) (hseToExpr e) ps)
diff --git a/README b/README
--- a/README
+++ b/README
@@ -16,14 +16,6 @@
 
 :pf \x y -> x + y
 
-Status
-======
-
-Not all of the testsuite passes, but one failure is due to a bug in HSE (see 
-http://code.google.com/p/haskell-src-exts/issues/detail?id=24 ) and many of the 
-others I'm not sure if they ever succeeded, and are mostly failures to 
-optimise, rather than actual correctness bugs.
-
 Future directions
 =================
 
diff --git a/pointfree.cabal b/pointfree.cabal
--- a/pointfree.cabal
+++ b/pointfree.cabal
@@ -1,7 +1,7 @@
 Cabal-Version: >= 1.8
 
 Name:     pointfree
-Version:  1.0.4.7
+Version:  1.0.4.8
 Category: Tool
 Synopsis: Tool for refactoring expressions into pointfree form
 
@@ -34,7 +34,7 @@
   Build-depends: base >= 4.3 && < 4.8,
                  array >= 0.3 && < 0.6,
                  containers >= 0.4 && < 0.6,
-                 haskell-src-exts >= 1.14 && < 1.16,
+                 haskell-src-exts == 1.16.*,
                  transformers < 0.5
   Other-modules: Plugin.Pl.Common
                  Plugin.Pl.Parser
@@ -53,10 +53,10 @@
     array >= 0.3 && < 0.6,
     base < 5,
     containers >= 0.3 && < 0.6,
-    haskell-src-exts == 1.14.*,
+    haskell-src-exts == 1.16.*,
     HUnit >= 1.1 && < 1.3,
     QuickCheck >= 2.1 && < 2.8,
-    transformers < 0.4
+    transformers < 0.5
 
   Extensions:
     ExistentialQuantification