diff --git a/genvalidity-property.cabal b/genvalidity-property.cabal
--- a/genvalidity-property.cabal
+++ b/genvalidity-property.cabal
@@ -2,10 +2,10 @@
 --
 -- see: https://github.com/sol/hpack
 --
--- hash: b4c5c1e25f8ffaebf6e2edb821c698f82733cba7a41bfbbcf6d3b25be2e13734
+-- hash: 7b970b7101085c6f2eda0c57833c5b53113e75326b5b1d24faeef8e6b4d102a1
 
 name:           genvalidity-property
-version:        0.2.1.0
+version:        0.2.1.1
 synopsis:       Standard properties for functions on `Validity` types
 description:    Standard properties for functions on `Validity` types
 category:       Testing
@@ -25,14 +25,6 @@
   location: https://github.com/NorfairKing/validity
 
 library
-  hs-source-dirs:
-      src
-  build-depends:
-      QuickCheck
-    , base >=4.7 && <5
-    , genvalidity >=0.5
-    , hspec >=2.1
-    , validity >=0.5
   exposed-modules:
       Test.Validity.Functions
       Test.Validity.Functions.CanFail
@@ -57,11 +49,21 @@
       Test.Validity.Types
   other-modules:
       Paths_genvalidity_property
+  hs-source-dirs:
+      src
+  build-depends:
+      QuickCheck
+    , base >=4.7 && <5
+    , genvalidity >=0.5
+    , hspec >=2.1
+    , validity >=0.5
   default-language: Haskell2010
 
 test-suite genvalidity-property-doctests
   type: exitcode-stdio-1.0
   main-is: DocTest.hs
+  other-modules:
+      Paths_genvalidity_property
   hs-source-dirs:
       doctest
   ghc-options: -threaded
@@ -71,6 +73,4 @@
     , doctest
     , filepath >=1.3 && <1.5
     , genvalidity-property
-  other-modules:
-      Paths_genvalidity_property
   default-language: Haskell2010
diff --git a/src/Test/Validity/Operations/Commutativity.hs b/src/Test/Validity/Operations/Commutativity.hs
--- a/src/Test/Validity/Operations/Commutativity.hs
+++ b/src/Test/Validity/Operations/Commutativity.hs
@@ -32,8 +32,8 @@
 
 -- |
 --
--- prop> commutative ((+) :: Double -> Double -> Double)
--- prop> commutative ((*) :: Double -> Double -> Double)
+-- prop> commutativeOnValids ((+) :: Double -> Double -> Double)
+-- prop> commutativeOnValids ((*) :: Double -> Double -> Double)
 commutativeOnValids :: (Show a, Eq a, GenValid a) => (a -> a -> a) -> Property
 commutativeOnValids op = commutativeOnGens op genValid shrinkValid
 
diff --git a/src/Test/Validity/Shrinking/Property.hs b/src/Test/Validity/Shrinking/Property.hs
--- a/src/Test/Validity/Shrinking/Property.hs
+++ b/src/Test/Validity/Shrinking/Property.hs
@@ -12,6 +12,15 @@
     , shrinkingStaysValidWithLimit
     , shrinkingStaysInvalid
     , shrinkingPreserves
+    , shrinkingPreservesWithLimit
+    , shrinkDoesNotShrinkToItself
+    , shrinkDoesNotShrinkToItselfWithLimit
+    , shrinkDoesNotShrinkToItselfOnValid
+    , shrinkDoesNotShrinkToItselfOnValidWithLimit
+    , shrinkDoesNotShrinkToItselfOnInvalid
+    , shrinkDoesNotShrinkToItselfOnInvalidWithLimit
+    , doesNotShrinkToItself
+    , doesNotShrinkToItselfWithLimit
     ) where
 
 import Data.GenValidity
@@ -64,6 +73,9 @@
     -> Property
 shrinkingStaysValid gen s = shrinkingPreserves gen s isValid
 
+-- |
+--
+-- prop> shrinkingStaysValidWithLimit (pure 5 :: Gen Double) (\d -> [d - 1, read "NaN"]) 1
 shrinkingStaysValidWithLimit ::
        forall a. (Show a, Validity a)
     => Gen a
@@ -94,6 +106,9 @@
     -> Property
 shrinkingPreserves gen s p = forAll gen $ \d -> not (p d) || all p (s d)
 
+-- |
+--
+-- prop> shrinkingPreservesWithLimit (pure 4) (:[]) 100 (== 4)
 shrinkingPreservesWithLimit ::
        forall a. Show a
     => Gen a
@@ -103,3 +118,85 @@
     -> Property
 shrinkingPreservesWithLimit gen s l p =
     forAll gen $ \d -> not (p d) || all p (take l $ s d)
+
+-- |
+--
+-- prop> shrinkDoesNotShrinkToItself shrinkUnchecked
+shrinkDoesNotShrinkToItself ::
+       forall a. (Show a, Eq a, GenUnchecked a)
+    => (a -> [a])
+    -> Property
+shrinkDoesNotShrinkToItself = doesNotShrinkToItself genUnchecked
+
+-- |
+--
+-- prop> shrinkDoesNotShrinkToItselfWithLimit shrinkUnchecked 100
+shrinkDoesNotShrinkToItselfWithLimit ::
+       forall a. (Show a, Eq a, GenUnchecked a)
+    => (a -> [a])
+    -> Int
+    -> Property
+shrinkDoesNotShrinkToItselfWithLimit =
+    doesNotShrinkToItselfWithLimit genUnchecked
+
+-- |
+--
+-- prop> shrinkDoesNotShrinkToItselfOnValid shrinkValid
+shrinkDoesNotShrinkToItselfOnValid ::
+       forall a. (Show a, Eq a, GenValid a)
+    => (a -> [a])
+    -> Property
+shrinkDoesNotShrinkToItselfOnValid = doesNotShrinkToItself genValid
+
+-- |
+--
+-- prop> shrinkDoesNotShrinkToItselfOnValidWithLimit shrinkValid 100
+shrinkDoesNotShrinkToItselfOnValidWithLimit ::
+       forall a. (Show a, Eq a, GenValid a)
+    => (a -> [a])
+    -> Int
+    -> Property
+shrinkDoesNotShrinkToItselfOnValidWithLimit =
+    doesNotShrinkToItselfWithLimit genValid
+
+-- |
+--
+-- prop> shrinkDoesNotShrinkToItselfOnInvalid shrinkInvalid
+shrinkDoesNotShrinkToItselfOnInvalid ::
+       forall a. (Show a, Eq a, GenInvalid a)
+    => (a -> [a])
+    -> Property
+shrinkDoesNotShrinkToItselfOnInvalid = doesNotShrinkToItself genInvalid
+
+-- |
+--
+-- prop> shrinkDoesNotShrinkToItselfOnInvalidWithLimit shrinkInvalid 100
+shrinkDoesNotShrinkToItselfOnInvalidWithLimit ::
+       forall a. (Show a, Eq a, GenInvalid a)
+    => (a -> [a])
+    -> Int
+    -> Property
+shrinkDoesNotShrinkToItselfOnInvalidWithLimit =
+    doesNotShrinkToItselfWithLimit genInvalid
+
+-- |
+--
+-- prop> doesNotShrinkToItself (pure 5) shrinkUnchecked
+doesNotShrinkToItself ::
+       forall a. (Show a, Eq a)
+    => Gen a
+    -> (a -> [a])
+    -> Property
+doesNotShrinkToItself gen s = forAll gen $ \a -> all (/= a) $ s a
+
+-- |
+--
+-- prop> doesNotShrinkToItselfWithLimit (pure 5) shrinkUnchecked 100
+doesNotShrinkToItselfWithLimit ::
+       forall a. (Show a, Eq a)
+    => Gen a
+    -> (a -> [a])
+    -> Int
+    -> Property
+doesNotShrinkToItselfWithLimit gen s l =
+    forAll gen $ \a -> all (/= a) $ take l $ s a