diff --git a/CHANGELOG.md b/CHANGELOG.md
--- a/CHANGELOG.md
+++ b/CHANGELOG.md
@@ -11,6 +11,10 @@
 
 * Added some lightweight negative-shrinking based on a simple dependency analysis.
 
+## 3.3.1
+
+* Adapt code to _not_ constrain [mtl](https://hackage.haskell.org/package/mtl) version too much
+
 ## 3.3.0
 
 * Added suppport for GHC 9.6.2 compiler
diff --git a/quickcheck-dynamic.cabal b/quickcheck-dynamic.cabal
--- a/quickcheck-dynamic.cabal
+++ b/quickcheck-dynamic.cabal
@@ -1,6 +1,6 @@
 cabal-version:      2.2
 name:               quickcheck-dynamic
-version:            3.3.0
+version:            3.3.1
 license:            Apache-2.0
 license-files:
   LICENSE
@@ -102,4 +102,3 @@
     , stm
     , tasty
     , tasty-quickcheck
-    , tasty-test-reporter
diff --git a/src/Test/QuickCheck/StateModel.hs b/src/Test/QuickCheck/StateModel.hs
--- a/src/Test/QuickCheck/StateModel.hs
+++ b/src/Test/QuickCheck/StateModel.hs
@@ -43,7 +43,7 @@
 import Control.Monad.Identity
 import Control.Monad.Reader
 import Control.Monad.State
-import Control.Monad.Writer (Endo (..), WriterT, runWriterT, tell)
+import Control.Monad.Writer (WriterT, runWriterT, tell)
 import Data.Data
 import Data.Kind
 import Data.List
@@ -54,6 +54,7 @@
 import Test.QuickCheck.DynamicLogic.SmartShrinking
 import Test.QuickCheck.Monadic
 import Test.QuickCheck.StateModel.Variables
+import Data.Monoid (Endo (..))
 
 -- | The typeclass users implement to define a model against which to validate some implementation.
 --
@@ -163,7 +164,7 @@
 type instance Realized Identity a = a
 
 newtype PostconditionM m a = PostconditionM {runPost :: WriterT (Endo Property, Endo Property) m a}
-  deriving (Functor, Applicative, Monad, MonadTrans)
+  deriving (Functor, Applicative, Monad)
 
 -- | Apply the property transformation to the property after evaluating
 -- the postcondition. Useful for collecting statistics while avoiding
diff --git a/test/Spec.hs b/test/Spec.hs
--- a/test/Spec.hs
+++ b/test/Spec.hs
@@ -4,10 +4,9 @@
 
 import Spec.DynamicLogic.RegistryModel qualified
 import Test.Tasty
-import Test.Tasty.Runners.Reporter qualified as Reporter
 
 main :: IO ()
-main = defaultMainWithIngredients [Reporter.ingredient] tests
+main = defaultMain tests
 
 tests :: TestTree
 tests =