Remove monitoring

quickcheck-dynamic/src/Test/QuickCheck/StateModel.hs

@@ -195,13 +195,6 @@ class (forall a. Show (Action state a), Monad m) => RunModel state m where
   postconditionOnFailure :: (state, state) -> Action state a -> LookUp -> Either (Error state) a -> Property
   postconditionOnFailure _ _ _ _ = property True
 
-  -- | Allows the user to attach additional information to the `Property` at each step of the process.
-  -- This function is given the full transition that's been executed, including the start and ending
-  -- `state`, the `Action`, the current environment to `Lookup` and the value produced by `perform`
-  -- while executing this step.
-  monitoring :: (state, state) -> Action state a -> LookUp -> Either (Error state) a -> Property -> Property
-  monitoring _ _ _ _ prop = prop
-
   -- | Allows the user to attach additional information to the `Property` if a positive action fails.
   monitoringFailure :: state -> Action state a -> LookUp -> Error state -> Property -> Property
   monitoringFailure _ _ _ _ prop = prop
@@ -542,5 +535,4 @@ runSteps s env ((v := act) : as) = do
             | Right val <- ret = (var :== val) : env
             | otherwise = env
           stateTransition = (underlyingState s, underlyingState s')
-      monitor $ monitoring @state @m stateTransition action (lookUpVar env') ret
       pure (s', env', stateTransition)