diff --git a/CHANGELOG.md b/CHANGELOG.md
--- a/CHANGELOG.md
+++ b/CHANGELOG.md
@@ -1,3 +1,7 @@
+# 0.2.0.1
+
+- Updated version bounds of dependencies.
+
 # 0.2.0.0
 
 - Revised syntax of specification language.
diff --git a/PropRatt.cabal b/PropRatt.cabal
--- a/PropRatt.cabal
+++ b/PropRatt.cabal
@@ -1,6 +1,6 @@
 cabal-version: 2.2
 name:           PropRatt
-version:        0.2.0.0
+version:        0.2.0.1
 synopsis:       Property-based testing framework for testing asynchronous FRP programs.
 category:       testing
 description:    
@@ -47,9 +47,9 @@
   ghc-options: -Wall -Wcompat -Widentities -Wincomplete-record-updates -Wincomplete-uni-patterns -Wmissing-export-lists -Wmissing-home-modules -Wpartial-fields -Wredundant-constraints
   build-depends:
       AsyncRattus >= 0.2 && < 0.3
-    , QuickCheck > 2.10 && < 3
+    , QuickCheck >= 2.10 && < 3
     , base >=4.7 && <5
-    , containers  >=0.6.5 && < 0.8
+    , containers  >=0.6.5 && < 0.9
   default-language: Haskell2010
 
 executable main-example
diff --git a/examples/main/Main.hs b/examples/main/Main.hs
--- a/examples/main/Main.hs
+++ b/examples/main/Main.hs
@@ -27,7 +27,7 @@
 zipWrong (a ::: as) (b ::: bs) = (a :* b) ::: delay (
         case select as bs of
         Fst (a' ::: as') bs' -> zipWrong (a' ::: as') (b ::: bs')
-        Snd as' (b' ::: bs') -> zipWrong (a ::: as') (b ::: bs')
+        Snd as' (_b' ::: bs') -> zipWrong (a ::: as') (b ::: bs')
         Both as' bs' -> zipWrong as' bs')
 
 filterM :: Box (a -> Bool) -> Sig a -> Sig (Maybe' a)
@@ -274,9 +274,9 @@
     putStrLn "====================="
     quickCheck prop_sigLength
     putStrLn "====================="
-    quickCheck (withMaxSuccess 1000 prop_switchR)
+    quickCheck (withNumTests 1000 prop_switchR)
     putStrLn "====================="
-    quickCheck (withMaxSuccess 1000 prop_catchsubtle)
+    quickCheck (withNumTests 1000 prop_catchsubtle)
     putStrLn "====================="
     quickCheck prop_predLengthOutsideDefault
     putStrLn "====================="
diff --git a/src/PropRatt/Core.hs b/src/PropRatt/Core.hs
--- a/src/PropRatt/Core.hs
+++ b/src/PropRatt/Core.hs
@@ -38,7 +38,7 @@
   flatten :: HList '[] -> Sig (HList '[])
   flatten HNil = emptySig
 
-instance (Stable a, Stable (Value a), Flatten as bs, Falsify bs) => Flatten (Sig a ': as) (Value a ': bs) where
+instance (Stable a, Flatten as bs, Falsify bs) => Flatten (Sig a ': as) (Value a ': bs) where
   flatten :: HList (Sig a : as) -> Sig (HList (Value a : bs))
   flatten (h :% t) = prepend h (flatten t)