diff --git a/CHANGELOG.md b/CHANGELOG.md
new file mode 100644
--- /dev/null
+++ b/CHANGELOG.md
@@ -0,0 +1,8 @@
+# Changelog
+
+## [0.1.0.0] - 2022-04-13
+
+### Changed
+
+* Fixed a bug in which property tests would not receive clean resources.
+* Compatibility with `sydtest >=0.9.0.0` and progress reporting
diff --git a/src/Test/Syd/Hspec.hs b/src/Test/Syd/Hspec.hs
--- a/src/Test/Syd/Hspec.hs
+++ b/src/Test/Syd/Hspec.hs
@@ -6,10 +6,13 @@
 
 module Test.Syd.Hspec (fromHspec) where
 
+import Control.Concurrent
+import Control.Concurrent.STM
 import Control.Exception
 import Control.Monad.Writer
 import Data.List
 import qualified Test.Hspec.Core.Spec as Hspec
+import Test.QuickCheck
 import Test.Syd as Syd
 
 -- | Import an Hspec 'Test.Hspec.Spec' as a Sydtest 'Test.Syd.Spec'.
@@ -24,7 +27,9 @@
 fromHspec :: Hspec.Spec -> Syd.Spec
 fromHspec (Hspec.SpecM specWriter) = do
   (result, trees) <- liftIO $ runWriterT specWriter
-  mapM_ importSpecTree trees
+  -- We have to use 'doNotRandomiseExecutionOrder' and 'sequential' because otherwise
+  -- passing hspec tests would stop working when imported into sydtest
+  doNotRandomiseExecutionOrder $ sequential $ mapM_ importSpecTree trees
   pure result
 
 importSpecTree :: Hspec.SpecTree () -> Syd.Spec
@@ -53,52 +58,86 @@
   type Arg2 (ImportedItem a) = a
   runTest = runImportedItem
 
+applyWrapper2' ::
+  forall r outerArgs innerArg.
+  ((outerArgs -> innerArg -> IO ()) -> IO ()) ->
+  (outerArgs -> innerArg -> IO r) ->
+  IO r
+applyWrapper2' wrapper func = do
+  var <- newEmptyMVar
+  wrapper $ \outerArgs innerArg -> do
+    res <- func outerArgs innerArg >>= evaluate
+    putMVar var res
+  readMVar var
+
 runImportedItem ::
   ImportedItem inner ->
   TestRunSettings ->
+  ProgressReporter ->
   ((() -> inner -> IO ()) -> IO ()) ->
   IO TestRunResult
-runImportedItem (ImportedItem Hspec.Item {..}) trs wrapper = do
-  errOrRes <- applyWrapper2 wrapper $ \() inner -> do
-    let params :: Hspec.Params
-        params =
-          Hspec.Params
-            { Hspec.paramsQuickCheckArgs = makeQuickCheckArgs trs,
-              -- TODO use the right depth when sydtest supports smallcheck
-              Hspec.paramsSmallCheckDepth = Hspec.paramsSmallCheckDepth Hspec.defaultParams
-            }
-        callback :: Hspec.ProgressCallback
-        callback = const $ pure ()
-    itemExample params (\takeInner -> takeInner inner) callback
-  let (testRunResultStatus, testRunResultException) = case errOrRes of
-        Left ex -> (TestFailed, Just ex)
-        Right result -> case Hspec.resultStatus result of
-          Hspec.Success -> (TestPassed, Nothing)
-          -- This is certainly a debatable choice, but there's no need to make
-          -- tests fail here, and there's no way to know ahead of time whether
-          -- a test is pending so we have no choice.
-          Hspec.Pending _ _ -> (TestPassed, Nothing)
-          Hspec.Failure mloc fr ->
-            let withExtraContext :: Maybe String -> Assertion -> Assertion
-                withExtraContext = maybe id (\extraContext a -> Context a extraContext)
-                niceLocation :: Hspec.Location -> String
-                niceLocation Hspec.Location {..} = intercalate ":" [locationFile, show locationLine, show locationColumn]
-                withLocationContext :: Assertion -> Assertion
-                withLocationContext = withExtraContext $ niceLocation <$> mloc
-                assertion = case fr of
-                  Hspec.NoReason -> Right $ ExpectationFailed "Hspec had no more information about this failure."
-                  Hspec.Reason s -> Right $ ExpectationFailed s
-                  Hspec.ExpectedButGot mExtraContext expected actual -> Right $ withExtraContext mExtraContext $ NotEqualButShouldHaveBeenEqual actual expected
-                  Hspec.Error mExtraContext e -> withExtraContext mExtraContext <$> Left (displayException e)
-             in ( TestFailed,
-                  Just
-                    ( Context
-                        <$> ( withLocationContext <$> assertion
-                            )
-                          <*> pure
-                            (Hspec.resultInfo result)
-                    )
-                )
+runImportedItem (ImportedItem Hspec.Item {..}) trs progressReporter wrapper = do
+  let report = reportProgress progressReporter
+  let qcargs = makeQuickCheckArgs trs
+  let params :: Hspec.Params
+      params =
+        Hspec.Params
+          { Hspec.paramsQuickCheckArgs = qcargs,
+            -- TODO use the right depth when sydtest supports smallcheck
+            Hspec.paramsSmallCheckDepth = Hspec.paramsSmallCheckDepth Hspec.defaultParams
+          }
+      callback :: Hspec.ProgressCallback
+      callback = const $ pure ()
+  exampleCounter <- newTVarIO 1
+  let totalExamples = (fromIntegral :: Int -> Word) (maxSuccess qcargs)
+  -- There's no real nice way to do progress reporting here because:
+  --   * hspec does not tell us whether we're using a property or not
+  --   * we could use the 'callback' above, but then we cannot time the examples.
+  --
+  -- The tradeoff that we are making is that the output is more verbose:
+  -- You'll see 'ProgressExampleStarting' even for unit tests, but at least the
+  -- examples in a property test are timed.
+  report ProgressTestStarting
+  result <-
+    itemExample
+      params
+      ( \takeInner -> applyWrapper2' wrapper $ \() inner -> do
+          exampleNr <- readTVarIO exampleCounter
+          report $ ProgressExampleStarting totalExamples exampleNr
+          timedResult <- timeItT $ takeInner inner
+          report $ ProgressExampleDone totalExamples exampleNr $ timedTime timedResult
+          atomically $ modifyTVar' exampleCounter succ
+          pure $ timedValue timedResult
+      )
+      callback
+  report ProgressTestDone
+  let (testRunResultStatus, testRunResultException) = case Hspec.resultStatus result of
+        Hspec.Success -> (TestPassed, Nothing)
+        -- This is certainly a debatable choice, but there's no need to make
+        -- tests fail here, and there's no way to know ahead of time whether
+        -- a test is pending so we have no choice.
+        Hspec.Pending _ _ -> (TestPassed, Nothing)
+        Hspec.Failure mloc fr ->
+          let withExtraContext :: Maybe String -> Assertion -> Assertion
+              withExtraContext = maybe id (\extraContext a -> Context a extraContext)
+              niceLocation :: Hspec.Location -> String
+              niceLocation Hspec.Location {..} = intercalate ":" [locationFile, show locationLine, show locationColumn]
+              withLocationContext :: Assertion -> Assertion
+              withLocationContext = withExtraContext $ niceLocation <$> mloc
+              assertion = case fr of
+                Hspec.NoReason -> Right $ ExpectationFailed "Hspec had no more information about this failure."
+                Hspec.Reason s -> Right $ ExpectationFailed s
+                Hspec.ExpectedButGot mExtraContext expected actual -> Right $ withExtraContext mExtraContext $ NotEqualButShouldHaveBeenEqual actual expected
+                Hspec.Error mExtraContext e -> withExtraContext mExtraContext <$> Left (displayException e)
+           in ( TestFailed,
+                Just
+                  ( Context
+                      <$> ( withLocationContext <$> assertion
+                          )
+                        <*> pure
+                          (Hspec.resultInfo result)
+                  )
+              )
   let testRunResultNumTests = Nothing
   let testRunResultNumShrinks = Nothing
   let testRunResultRetries = Nothing
diff --git a/sydtest-hspec.cabal b/sydtest-hspec.cabal
--- a/sydtest-hspec.cabal
+++ b/sydtest-hspec.cabal
@@ -1,11 +1,11 @@
 cabal-version: 1.12
 
--- This file has been generated from package.yaml by hpack version 0.34.5.
+-- This file has been generated from package.yaml by hpack version 0.34.6.
 --
 -- see: https://github.com/sol/hpack
 
 name:           sydtest-hspec
-version:        0.0.0.1
+version:        0.1.0.0
 synopsis:       An Hspec companion library for sydtest
 category:       Testing
 homepage:       https://github.com/NorfairKing/sydtest#readme
@@ -17,6 +17,7 @@
 license-file:   LICENSE.md
 build-type:     Simple
 extra-source-files:
+    CHANGELOG.md
     LICENSE.md
 
 source-repository head
@@ -31,10 +32,12 @@
   hs-source-dirs:
       src
   build-depends:
-      base >=4.7 && <5
+      QuickCheck
+    , base >=4.7 && <5
     , hspec-core
     , mtl
-    , sydtest >=0.6.1.0
+    , stm
+    , sydtest >=0.9.0.0
   default-language: Haskell2010
 
 test-suite sydtest-hspec-test
@@ -52,6 +55,7 @@
   build-depends:
       base >=4.7 && <5
     , hspec
+    , stm
     , sydtest
     , sydtest-hspec
   default-language: Haskell2010
diff --git a/test/Main.hs b/test/Main.hs
--- a/test/Main.hs
+++ b/test/Main.hs
@@ -6,5 +6,6 @@
 
 main :: IO ()
 main = do
-  _ <- sydTestResult defaultSettings spec
+  settings <- getSettings
+  _ <- sydTestResult settings spec
   pure ()
diff --git a/test/Test/Syd/HspecSpec.hs b/test/Test/Syd/HspecSpec.hs
--- a/test/Test/Syd/HspecSpec.hs
+++ b/test/Test/Syd/HspecSpec.hs
@@ -1,5 +1,6 @@
 module Test.Syd.HspecSpec (spec) where
 
+import Control.Concurrent.STM
 import Test.Hspec as Hspec
 import Test.Hspec.QuickCheck as Hspec
 import qualified Test.Syd as Syd
@@ -12,5 +13,14 @@
 exampleHspecSpec = do
   it "adds 3 and 5 together purely" $ 3 + 5 == (8 :: Int)
   it "adds 3 and 5 together in io" $ 3 + 5 `shouldBe` (8 :: Int)
-  it "fails here" $ 2 + 2 `shouldBe` (5 :: Int)
   prop "works for a property as well" $ \ls -> reverse (reverse ls) `shouldBe` (ls :: [Int])
+  describe "before" $ do
+    var <- runIO $ newTVarIO (1 :: Int)
+    let readAndIncrement = atomically $ stateTVar var $ \i -> (i + 1, i + 1)
+    before readAndIncrement $ do
+      it "reads 2" $ \i ->
+        i `shouldBe` 2
+      it "reads 3" $ \i ->
+        i `shouldBe` 3
+      it "reads 4" $ \i ->
+        i `shouldBe` 4