diff --git a/CHANGELOG.md b/CHANGELOG.md
new file mode 100644
--- /dev/null
+++ b/CHANGELOG.md
@@ -0,0 +1,46 @@
+# Changelog
+
+## [Unreleased]
+
+## [0.5.0.1] - 2019-09-23
+
+### Changed
+
+* Removed a redundant import to have a clean warning-free build
+
+## [0.5.0.0] - 2019-09-23
+
+### Changed
+
+* Started using `pretty-show` for the output of `validIfSucceeds`, `validIfSucceedsOnGens2` and `validIfSucceedsOnValids3`
+* Started using `pretty-show` for the output of `shouldBeValid` and `shouldBeInvalid`.
+* Gave `genGeneratesValid` and `genGeneratesInvalid` much nicer output.
+* Removed nonsense shrinking from `genGeneratesValid` and `genGeneratesInvalid`.
+
+## [0.4.0.0] - 2019-03-08
+
+### Changed
+
+* Compatibility with genvalidity >=0.8
+
+## [0.3.0.0] - 2018-11-07
+
+### Changed
+
+* Compatibility with validity >=0.9 and genvalidity >= 0.7
+
+## [0.2.1.1] - 2018-10-06
+
+### Added
+* `shrinkDoesNotShrinkToItself`
+* `shrinkDoesNotShrinkToItselfWithLimit`
+* `shrinkDoesNotShrinkToItselfOnValid`
+* `shrinkDoesNotShrinkToItselfOnValidWithLimit`
+* `shrinkDoesNotShrinkToItselfOnInvalid`
+* `shrinkDoesNotShrinkToItselfOnInvalidWithLimit`
+* `doesNotShrinkToItself`
+* `doesNotShrinkToItselfWithLimit`
+
+### Changed
+
+* exported `shrinkingPreservesWithLimit` from `Test.Validity.Shrinking.Property`
diff --git a/genvalidity-property.cabal b/genvalidity-property.cabal
--- a/genvalidity-property.cabal
+++ b/genvalidity-property.cabal
@@ -4,10 +4,10 @@
 --
 -- see: https://github.com/sol/hpack
 --
--- hash: 72e1dc8a07fd73ec8014692a871754cdd0b731054f8292e05800699e48c5c63a
+-- hash: bf0625ee1fc51adb6e38bc0c3453b65fa0ced4b23d8c963772816ed4ae91bd06
 
 name:           genvalidity-property
-version:        0.5.0.0
+version:        0.5.0.1
 synopsis:       Standard properties for functions on `Validity` types
 description:    Standard properties for functions on `Validity` types
 category:       Testing
@@ -20,6 +20,8 @@
 license:        MIT
 license-file:   LICENSE
 build-type:     Simple
+extra-source-files:
+    CHANGELOG.md
 
 source-repository head
   type: git
diff --git a/src/Test/Validity/Functions/CanFail.hs b/src/Test/Validity/Functions/CanFail.hs
--- a/src/Test/Validity/Functions/CanFail.hs
+++ b/src/Test/Validity/Functions/CanFail.hs
@@ -30,8 +30,6 @@
 
 import Data.GenValidity
 
-import Text.Show.Pretty (ppShow)
-
 import Test.Hspec
 import Test.QuickCheck