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.3
+version:             0.2.0.4
 synopsis:            Proof assistant for Haskell using DataKinds & PolyKinds
 description:         A simple convenient library to write equational / preorder proof as in Agda.
 license:             BSD3
@@ -28,6 +28,6 @@
     build-depends:     singletons       == 0.8.*
                  ,     tagged           >= 0.6
   else
-    build-depends:     singletons       >= 0.8    && < 1.1
+    build-depends:     singletons       >= 0.8    && < 1.2