diff --git a/CHANGELOG.md b/CHANGELOG.md
--- a/CHANGELOG.md
+++ b/CHANGELOG.md
@@ -1,3 +1,8 @@
+# Version 0.2
+
+* Depend on `singletons-2.2`, which means `KProxy` is gone.
+
+
 # Version 0.1.0.1
 
 * Relax upper bound on `base`, `singletons`, `constraints`.
diff --git a/exinst-deepseq.cabal b/exinst-deepseq.cabal
--- a/exinst-deepseq.cabal
+++ b/exinst-deepseq.cabal
@@ -1,5 +1,5 @@
 name:                exinst-deepseq
-version:             0.1.0.1
+version:             0.2
 author:              Renzo Carbonara
 maintainer:          renzoλcarbonara.com.ar
 copyright:           Renzo Carbonara 2015-2016
@@ -19,9 +19,9 @@
   exposed-modules:
       Exinst.Instances.DeepSeq
   build-depends:
-      base >=4.7 && <5.0
+      base >=4.9 && <5.0
     , deepseq >=1.4 && <1.5
     , constraints >=0.4 && <0.9
-    , exinst >=0.1 && <0.2
+    , exinst >=0.2 && <0.3
   ghcjs-options: -Wall -O3
   ghc-options: -Wall -O2