diff --git a/CHANGELOG.txt b/CHANGELOG.txt
--- a/CHANGELOG.txt
+++ b/CHANGELOG.txt
@@ -1,3 +1,9 @@
+2017-05-27, 0.6.4:
+	Updated dependencies for GHC 8.2.1 (release candidate 2) and
+	binary-0.9, thanks to Mikhail Glushenkov for helping with this.
+
+	Also a code change due to a newly problematic type inference.
+
 2016-07-18, 0.6.3:
 	Dependency update to allow dlist-0.8.
 
diff --git a/Data/ListTrie/Patricia/Base.hs b/Data/ListTrie/Patricia/Base.hs
--- a/Data/ListTrie/Patricia/Base.hs
+++ b/Data/ListTrie/Patricia/Base.hs
@@ -564,7 +564,7 @@
                PostFix (Right xs) -> goLeft  tr1 tr2 xs
 
    dw a b =
-      let c = differenceWith j a b
+      let c = go a b
        in if null c then Nothing else Just c
 
    mk v v' p m m' =
@@ -1322,8 +1322,9 @@
                               then tryCompress$ mkTrie v pre (Map.delete y m)
                               else mkTrie v pre (Map.insert y tr'' m)
 
-            _ -> error "Data.ListTrie.Patricia.Base.deleteSuffixes \
-                       \:: internal error"
+            _ ->
+               error
+                  "Data.ListTrie.Patricia.Base.deleteSuffixes :: internal error"
 
 -- O(1)
 splitPrefix :: (Alt st a, Boolable (st a), Trie trie st map k)
diff --git a/list-tries.cabal b/list-tries.cabal
--- a/list-tries.cabal
+++ b/list-tries.cabal
@@ -1,7 +1,7 @@
 Cabal-Version: >= 1.9.2
 
 Name:        list-tries
-Version:     0.6.3
+Version:     0.6.4
 Homepage:    http://iki.fi/matti.niemenmaa/list-tries/
 Synopsis:    Tries and Patricia tries: finite sets and maps for list keys
 Category:    Data, Data Structures
@@ -41,10 +41,10 @@
   location: https://github.com/Deewiant/list-tries
 
 Library
-   Build-Depends: base       >= 3    && < 4.10
+   Build-Depends: base       >= 3    && < 4.11
                 , containers >= 0.3  && < 0.6
                 , dlist      >= 0.4  && < 0.9
-                , binary     >= 0.5  && < 0.9
+                , binary     >= 0.5  && < 0.10
 
    if impl(ghc < 8.0)
       Build-Depends: semigroups >= 0.18 && < 0.19
@@ -74,6 +74,15 @@
 
    Include-Dirs: headers
 
+   Other-Extensions: CPP
+                     FlexibleContexts
+                     FlexibleInstances
+                     FunctionalDependencies
+                     MultiParamTypeClasses
+                     Rank2Types
+                     ScopedTypeVariables
+                     UndecidableInstances
+
 Test-Suite list-tries-tests
    type: exitcode-stdio-1.0
 
@@ -81,11 +90,11 @@
    main-is: Main.hs
 
    Build-Depends: list-tries
-                , base                       >= 3   && < 4.10
-                , binary                     >= 0.5 && < 0.9
-                , template-haskell           >= 2.3 && < 2.12
-                , HUnit                      >= 1.2 && < 1.3
-                , QuickCheck                 >= 2.1 && < 2.8
+                , base                       >= 3   && < 4.11
+                , binary                     >= 0.5 && < 0.10
+                , template-haskell           >= 2.3 && < 2.13
+                , HUnit                      >= 1.2 && < 1.7
+                , QuickCheck                 >= 2.1 && < 2.10
                 , test-framework             >= 0.2 && < 0.9
                 , test-framework-hunit       >= 0.2 && < 0.4
                 , test-framework-quickcheck2 >= 0.2 && < 0.4
@@ -96,3 +105,13 @@
                   Tests.Properties
                   Tests.Strictness
                   Tests.TH
+
+   Other-Extensions: CPP
+                     EmptyDataDecls
+                     FlexibleContexts
+                     FlexibleInstances
+                     FunctionalDependencies
+                     MultiParamTypeClasses
+                     NoMonomorphismRestriction
+                     PatternGuards
+                     TemplateHaskell