diff --git a/CHANGELOG.md b/CHANGELOG.md
--- a/CHANGELOG.md
+++ b/CHANGELOG.md
@@ -2,7 +2,16 @@
 
 ## Unreleased changes
 
+## v0.1.0.2
+
+- Update to allow the latest version of genvalidity
+  ([#8](https://github.com/cdepillabout/focuslist/pull/8)).
+  Thanks [George Wilson](https://github.com/gwils)!
+
+- Add some lower version bounds to dependencies.
+
 ## v0.1.0.1
+
 - Enables older GHC versions for Travis
 
 ## v0.1.0.0
diff --git a/README.md b/README.md
--- a/README.md
+++ b/README.md
@@ -11,6 +11,8 @@
 supports quick insertion and indexing by its implementation with
 [`Seq`](http://hackage.haskell.org/package/containers-0.6.0.1/docs/Data-Sequence.html#t:Seq).
 
+The fcuslist package is similar to [pointed-list](http://hackage.haskell.org/package/pointedlist-0.6.1) or [list-zipper](http://hackage.haskell.org/package/ListZipper). Focuslist however is optimised for fast indexing and insertion at any point, and can be empty. For operations where linked lists perform better the other packages are likely to be superior, though for other operations focuslist is likely to be faster.
+
 ## Example
 
 Here is a short example of using `FocusList`.
diff --git a/focuslist.cabal b/focuslist.cabal
--- a/focuslist.cabal
+++ b/focuslist.cabal
@@ -1,5 +1,5 @@
 name:                focuslist
-version:             0.1.0.1
+version:             0.1.0.2
 synopsis:            Lists with a focused element
 description:         Please see <https://github.com/cdepillabout/focuslist#readme README.md>.
 homepage:            https://github.com/cdepillabout/focuslist
@@ -31,9 +31,9 @@
   exposed-modules:     Data.FocusList
   build-depends:       base >= 4.9 && < 5
                      , containers >= 0.5.8
-                     , lens
+                     , lens >= 4.16
                      , mono-traversable
-                     , QuickCheck
+                     , QuickCheck >= 2.11.3
   default-language:    Haskell2010
   ghc-options:         -Wall -Wincomplete-uni-patterns -Wincomplete-record-updates
 
@@ -57,14 +57,14 @@
                      , Test.FocusList.Invariants
   build-depends:       base
                      , focuslist
-                     , genvalidity-containers
-                     , genvalidity-hspec
-                     , hedgehog
+                     , genvalidity-containers >= 0.5
+                     , genvalidity-hspec >= 0.6
+                     , hedgehog >= 0.6.1
                      , lens
                      , QuickCheck
-                     , tasty
-                     , tasty-hedgehog
-                     , tasty-hspec
+                     , tasty >= 1.1
+                     , tasty-hedgehog >= 0.2
+                     , tasty-hspec >= 1.1
   default-language:    Haskell2010
   ghc-options:         -Wall -Wincomplete-uni-patterns -Wincomplete-record-updates -threaded -rtsopts -with-rtsopts=-N
 
@@ -100,4 +100,3 @@
 source-repository head
   type:     git
   location: git@github.com:cdepillabout/focuslist.git
-
diff --git a/test/Test/FocusList.hs b/test/Test/FocusList.hs
--- a/test/Test/FocusList.hs
+++ b/test/Test/FocusList.hs
@@ -22,11 +22,11 @@
 instance Validity (FocusList a) where
   validate fl = check (invariantFL fl) "the FocusList has been constructed correctly"
 
-instance GenValid a => GenValid (FocusList a) where
+instance (GenValid a, GenUnchecked a) => GenValid (FocusList a) where
   genValid :: Gen (FocusList a)
   genValid = genValidFL genValid
 
-instance GenInvalid a => GenInvalid (FocusList a)
+instance (GenInvalid a, GenUnchecked a) => GenInvalid (FocusList a)
 
 focusListTestsIO :: IO TestTree
 focusListTestsIO = do
diff --git a/test/readme/README.lhs b/test/readme/README.lhs
--- a/test/readme/README.lhs
+++ b/test/readme/README.lhs
@@ -11,6 +11,8 @@
 supports quick insertion and indexing by its implementation with
 [`Seq`](http://hackage.haskell.org/package/containers-0.6.0.1/docs/Data-Sequence.html#t:Seq).
 
+The fcuslist package is similar to [pointed-list](http://hackage.haskell.org/package/pointedlist-0.6.1) or [list-zipper](http://hackage.haskell.org/package/ListZipper). Focuslist however is optimised for fast indexing and insertion at any point, and can be empty. For operations where linked lists perform better the other packages are likely to be superior, though for other operations focuslist is likely to be faster.
+
 ## Example
 
 Here is a short example of using `FocusList`.