diff --git a/CHANGELOG.md b/CHANGELOG.md
--- a/CHANGELOG.md
+++ b/CHANGELOG.md
@@ -2,6 +2,14 @@
 
 ## [Unreleased]
 
+## [0.8.0.2] - 2020-02-10
+
+### Changed
+
+* Improved the cabal file
+* Removed the show constraint for keys on 'GenUnchecked (Map k v)'
+* Removed the shrinking tests for trees
+
 ## [0.8.0.1] - 2019-12-04
 
 ### Changed
diff --git a/LICENSE b/LICENSE
--- a/LICENSE
+++ b/LICENSE
@@ -1,6 +1,6 @@
 The MIT License (MIT)
 
-Copyright (c) 2016 Tom Sydney Kerckhove
+Copyright (c) 2016-2020 Tom Sydney Kerckhove
 
 Permission is hereby granted, free of charge, to any person obtaining a copy
 of this software and associated documentation files (the "Software"), to deal
diff --git a/bench/Main.hs b/bench/Main.hs
new file mode 100644
--- /dev/null
+++ b/bench/Main.hs
@@ -0,0 +1,26 @@
+{-# LANGUAGE AllowAmbiguousTypes #-}
+{-# LANGUAGE TypeApplications #-}
+{-# LANGUAGE ScopedTypeVariables #-}
+
+module Main where
+
+import Data.Map (Map)
+import Data.Sequence (Seq)
+import Data.Set (Set)
+import Data.Tree (Forest, Tree)
+
+import Criterion.Main as Criterion
+
+
+import Data.GenValidity.Containers ()
+import Data.GenValidity.Criterion
+
+main :: IO ()
+main =
+  Criterion.defaultMain
+    [ genValidBench @(Set Int)
+    , genValidBench @(Seq Int)
+    , genValidBench @(Tree Int)
+    , genValidBench @(Forest Int)
+    , genValidBench @(Map Int Int)
+    ]
diff --git a/genvalidity-containers.cabal b/genvalidity-containers.cabal
--- a/genvalidity-containers.cabal
+++ b/genvalidity-containers.cabal
@@ -1,22 +1,20 @@
 cabal-version: 1.12
 
--- This file has been generated from package.yaml by hpack version 0.31.2.
+-- This file has been generated from package.yaml by hpack version 0.33.0.
 --
 -- see: https://github.com/sol/hpack
 --
--- hash: 441a213ff410a2036dd1d487852265991c03456927b9866914542413775969d8
+-- hash: cc5a5331fe04afda9869d3afa266c4dca21b717141d42d91d701385413187885
 
 name:           genvalidity-containers
-version:        0.8.0.1
+version:        0.8.0.2
 synopsis:       GenValidity support for containers
-description:    Please see README.md
 category:       Testing
 homepage:       https://github.com/NorfairKing/validity#readme
 bug-reports:    https://github.com/NorfairKing/validity/issues
 author:         Tom Sydney Kerckhove
-maintainer:     syd.kerckhove@gmail.com,
-                nick.van.den.broeck666@gmail.com
-copyright:      Copyright: (c) 2016-2019 Tom Sydney Kerckhove
+maintainer:     syd@cs-syd.eu
+copyright:      Copyright: (c) 2016-2020 Tom Sydney Kerckhove
 license:        MIT
 license-file:   LICENSE
 build-type:     Simple
@@ -40,7 +38,7 @@
       src
   build-depends:
       QuickCheck
-    , base <5
+    , base >=4.9 && <=5
     , containers
     , genvalidity >=0.8
     , validity >=0.5
@@ -68,4 +66,21 @@
     , genvalidity-property >=0.5
     , hspec
     , validity >=0.9
+  default-language: Haskell2010
+
+benchmark genvalidity-containers-bench
+  type: exitcode-stdio-1.0
+  main-is: Main.hs
+  other-modules:
+      Paths_genvalidity_containers
+  hs-source-dirs:
+      bench/
+  ghc-options: -Wall
+  build-depends:
+      QuickCheck
+    , base >=4.9 && <=5
+    , containers
+    , criterion
+    , genvalidity-containers
+    , genvalidity-criterion
   default-language: Haskell2010
diff --git a/src/Data/GenValidity/Map.hs b/src/Data/GenValidity/Map.hs
--- a/src/Data/GenValidity/Map.hs
+++ b/src/Data/GenValidity/Map.hs
@@ -42,7 +42,7 @@
         | (s', k', a', m1', m2') <- shrinkUnchecked (s, k, a, m1, m2)
         ]
 #else
-instance (Show k, Ord k, GenUnchecked k, GenUnchecked v) => GenUnchecked (Map k v) where
+instance (Ord k, GenUnchecked k, GenUnchecked v) => GenUnchecked (Map k v) where
     genUnchecked = M.fromList <$> genUnchecked
     shrinkUnchecked = fmap M.fromList . shrinkUnchecked . M.toList
 #endif
diff --git a/test/Test/Validity/Containers/TreeSpec.hs b/test/Test/Validity/Containers/TreeSpec.hs
--- a/test/Test/Validity/Containers/TreeSpec.hs
+++ b/test/Test/Validity/Containers/TreeSpec.hs
@@ -10,7 +10,5 @@
 
 spec :: Spec
 spec = do
-    genValidSpec @(Tree Int)
-    genValiditySpec @(Tree Rational)
-    shrinkValidSpec @(Tree Int)
-    shrinkValiditySpec @(Tree Rational)
+  genValidSpec @(Tree Int)
+  genValiditySpec @(Tree Rational)