diff --git a/CHANGELOG.md b/CHANGELOG.md
--- a/CHANGELOG.md
+++ b/CHANGELOG.md
@@ -1,5 +1,9 @@
 # Revision history for lawful-classes-hedgehog
 
+## 0.1.1.0 -- 2023-02-01
+
+* Add `Test.Lawful.Hedgehog.testLawsWith`.
+
 ## 0.1.0.0 -- 2023-02-01
 
 * First version. Released on an unsuspecting world.
diff --git a/lawful-classes-hedgehog.cabal b/lawful-classes-hedgehog.cabal
--- a/lawful-classes-hedgehog.cabal
+++ b/lawful-classes-hedgehog.cabal
@@ -1,6 +1,6 @@
 cabal-version:   3.0
 name:            lawful-classes-hedgehog
-version:         0.1.0.0
+version:         0.1.1.0
 synopsis:        Hedgehog support for lawful-classes
 description:
   Support code to check @lawful-classes@ laws using Hedgehog and,
diff --git a/src/Test/Lawful/Hedgehog.hs b/src/Test/Lawful/Hedgehog.hs
--- a/src/Test/Lawful/Hedgehog.hs
+++ b/src/Test/Lawful/Hedgehog.hs
@@ -11,7 +11,11 @@
 -- Support code to check @lawful-classes@ laws using Hedgehog and, optionally,
 -- Tasty.
 module Test.Lawful.Hedgehog
-  ( testLaws,
+  ( -- * Tasty integration
+    testLaws,
+    testLawsWith,
+
+    -- * Plumbing
     toProperty,
   )
 where
@@ -25,6 +29,20 @@
 toProperty :: (forall a. m a -> PropertyT IO a) -> Law m -> Property
 toProperty run law = property $ maybe discard assert =<< evalM (run law)
 
--- | Given 'Laws', create a @tasty@ 'TestTree'.
+-- | Given 'Laws' for @m@ and a way to evaluate an @m a@ in @'PropertyT' IO@,
+-- create a @tasty@ 'TestTree'.
 testLaws :: TestName -> (forall a. m a -> PropertyT IO a) -> Laws m -> TestTree
-testLaws name run laws = testGroup name [testProperty n (toProperty run l) | (n, l) <- laws]
+testLaws = testLawsWith id
+
+-- | Given 'Laws' for @m@ and a way to evaluate an @m a@ in @'PropertyT' IO@,
+-- create a @tasty@ 'TestTree', modifying all created 'Property's with the
+-- given function.
+--
+-- As an example, 'Hedgehog.withTests' could be used to reduce or increase
+-- the number of times tests are executed, e.g., because 'm' is not a
+-- transformer so there's no way to generate multiple test exemplars using
+-- some generator, except for the trivial constant generator.
+--
+-- @since 0.1.1.0
+testLawsWith :: (Property -> Property) -> TestName -> (forall a. m a -> PropertyT IO a) -> Laws m -> TestTree
+testLawsWith fn name run laws = testGroup name [testProperty n (fn $ toProperty run l) | (n, l) <- laws]