diff --git a/acc.cabal b/acc.cabal
--- a/acc.cabal
+++ b/acc.cabal
@@ -1,6 +1,6 @@
 cabal-version:      3.0
 name:               acc
-version:            0.2.0.3
+version:            0.2.0.4
 synopsis:           Sequence optimized for monoidal construction and folding
 description:
   Data structure intended for accumulating a sequence of elements
@@ -25,7 +25,7 @@
 
 source-repository head
   type:     git
-  location: git://github.com/nikita-volkov/acc.git
+  location: https://github.com/nikita-volkov/acc.git
 
 library
   hs-source-dirs:     library
@@ -186,8 +186,8 @@
   main-is:            Main.hs
   build-depends:
     , acc
-    , quickcheck-instances >=0.3.11 && <0.4
+    , quickcheck-instances >=0.3.11 && <0.5
     , rerebase >=1.9 && <2
     , tasty >=0.12 && <2
     , tasty-hunit ^>=0.10
-    , tasty-quickcheck >=0.9 && <0.11
+    , tasty-quickcheck >=0.9 && <1
diff --git a/test/Main.hs b/test/Main.hs
--- a/test/Main.hs
+++ b/test/Main.hs
@@ -53,11 +53,18 @@
           $ \(acc :: Acc Int) ->
             Acc.toNonEmpty acc
               === NonEmpty.nonEmpty (toList acc),
-        testProperty "snoccing an unsnocced element of an acc produces the same acc"
+        testProperty "Snoccing an unsnocced element of an acc produces the same acc"
           $ \(acc :: Acc Int) ->
             case Acc.unsnoc acc of
               Just (lastElement, prefix) ->
                 toList (Acc.snoc lastElement prefix) === toList acc
+              Nothing ->
+                discard,
+        testProperty "Consing an unconsed element of an acc produces the same acc"
+          $ \(acc :: Acc Int) ->
+            case Acc.uncons acc of
+              Just (firstElement, suffix) ->
+                toList (Acc.cons firstElement suffix) === toList acc
               Nothing ->
                 discard,
         testGroup "Issue #10"