diff --git a/equational-reasoning.cabal b/equational-reasoning.cabal
--- a/equational-reasoning.cabal
+++ b/equational-reasoning.cabal
@@ -2,7 +2,7 @@
 --  documentation, see http://haskell.org/cabal/users-guide/
 
 name:                equational-reasoning
-version:             0.2.0.5
+version:             0.2.0.6
 synopsis:            Proof assistant for Haskell using DataKinds & PolyKinds
 description:         A simple convenient library to write equational / preorder proof as in Agda.
 license:             BSD3
@@ -12,7 +12,9 @@
 copyright:           (c) Hiromi ISHII 2013-2014
 category:            Math
 build-type:          Simple
-tested-with:         GHC == 7.6.1, GHC == 7.6.2, GHC == 7.6.3, GHC == 7.8.1
+tested-with:         GHC == 7.6.3,
+                     GHC == 7.8.3, GHC == 7.8.4,
+                     GHC == 7.10.2
 cabal-version:       >=1.8
 
 source-repository head
@@ -27,7 +29,10 @@
   if impl(ghc < 7.8)
     build-depends:     singletons       == 0.8.*
                  ,     tagged           >= 0.6
-  else
+  if impl(ghc < 7.10)
     build-depends:     singletons       >= 0.8    && < 1.2
+  else
+    build-depends:     singletons       == 2.0.*
+