diff --git a/CHANGELOG.md b/CHANGELOG.md
--- a/CHANGELOG.md
+++ b/CHANGELOG.md
@@ -1,3 +1,6 @@
+# 0.4.0.0
+- Updated hlrdb-core to 0.2.0.0, featuring revamped aggrevation via the @Q@ applicative, which should be more ergonomic than the old profunctor-based API while providing the same guarantees.
+
 # New in 0.3.2
 - Added `zstd`, which when used transparently applies zstd compression to the values stored at the given path.
 
diff --git a/hlrdb.cabal b/hlrdb.cabal
--- a/hlrdb.cabal
+++ b/hlrdb.cabal
@@ -1,5 +1,5 @@
 name:                hlrdb
-version:             0.3.2.0
+version:             0.4.0.0
 synopsis:            High-level Redis Database
 description:         A library for type-driven interaction with Redis
 license:             MIT
@@ -21,18 +21,18 @@
   exposed-modules: HLRDB
   build-depends:
       base >= 4.9 && < 5.0
-    , base64-bytestring >= 1.0.0.1 && < 1.3
+    , base64 >= 0.4.2.4 && < 0.5
     , bytestring
-    , cryptonite >= 0.24 && < 0.28
+    , cryptonite >= 0.24 && < 0.31
     , hashable
     , hedis
-    , hlrdb-core >= 0.1.6 && < 0.2
-    , memory >= 0.14.8 && < 0.16
+    , hlrdb-core >= 0.2 && < 0.3
+    , memory >= 0.14.8 && < 0.18
     , random >= 1.1 && < 1.3
     , store >= 0.5.1.1 && < 0.8
     , time
     , unordered-containers
-    , zstd >= 0.1.2.0 && < 0.1.3.0
+    , zstd >= 0.1.2.0 && < 0.1.4.0
   hs-source-dirs:      src
   default-language:    Haskell2010
   default-extensions:
diff --git a/src/HLRDB.hs b/src/HLRDB.hs
--- a/src/HLRDB.hs
+++ b/src/HLRDB.hs
@@ -80,7 +80,6 @@
 import Data.ByteString (ByteString,take,drop,unpack)
 import qualified Data.ByteString.Base64 as B64
 import Data.Hashable (Hashable)
-import Data.Monoid ((<>))
 import Data.String (IsString(fromString))
 import Data.Store
 import Data.Time
@@ -112,7 +111,7 @@
   deriving (Generic,Eq,Ord,Hashable)
 
 instance Show Identifier where
-  show = show . B64.encode . encode
+  show = show . B64.encodeBase64 . encode
 
 -- | IsIdentifier means that @a@ is isomorphic to Identifier, usually via newtype. This enables to use @genId :: IsIdentifier a => IO a@, declared below. It is required that not only is it isomorphic; it must respect the Store instance as well (you get this for free with a newtype anyway).
 class IsIdentifier a where