diff --git a/dahdit-midi.cabal b/dahdit-midi.cabal
--- a/dahdit-midi.cabal
+++ b/dahdit-midi.cabal
@@ -5,7 +5,7 @@
 -- see: https://github.com/sol/hpack
 
 name:           dahdit-midi
-version:        0.6.0
+version:        0.7.0
 synopsis:       MIDI and OSC parsing/printing with dahdit
 description:    Please see the README on GitHub at <https://github.com/ejconlon/dahdit#readme>
 homepage:       https://github.com/ejconlon/dahdit#readme
@@ -66,7 +66,7 @@
       base >=4.12 && <5
     , bytestring >=0.11 && <0.13
     , containers ==0.6.*
-    , dahdit ==0.6.*
+    , dahdit ==0.7.*
     , data-sword >=0.2.0.3 && <0.3
     , hashable ==1.4.*
     , nanotime ==0.3.*
@@ -115,19 +115,18 @@
       base >=4.12 && <5
     , bytestring >=0.11 && <0.13
     , containers ==0.6.*
-    , dahdit ==0.6.*
+    , dahdit ==0.7.*
     , dahdit-midi
     , dahdit-test
     , data-sword >=0.2.0.3 && <0.3
-    , daytripper ==0.4.*
+    , daytripper ==1.0.*
     , directory
     , filepath
     , hashable ==1.4.*
-    , hedgehog ==1.5.*
     , nanotime ==0.3.*
     , newtype ==0.2.*
     , primitive >=0.7 && <0.10
-    , prop-unit ==0.2.*
+    , prop-unit >=1.0.1 && <1.1
     , text >=1.2 && <2.2
     , vector >=0.12 && <0.14
   default-language: GHC2021
diff --git a/test/Main.hs b/test/Main.hs
--- a/test/Main.hs
+++ b/test/Main.hs
@@ -19,7 +19,7 @@
 import Data.Proxy (Proxy (..))
 import Data.Sequence qualified as Seq
 import Data.Word (Word8)
-import PropUnit (MonadTest, PropertyT, testGroup, testMain)
+import PropUnit (MonadTest, testGroup, testMain)
 import System.Directory (listDirectory)
 import System.FilePath (takeExtension, (</>))
 import Test.Dahdit.Daytripper (expectBytes, expectCodecErr, expectCodecOk, expectStatic)
@@ -88,7 +88,8 @@
   let xs = fmap (\p -> BSC.pack ("/test-" ++ p ++ "-")) ["illegal", "non-midi", "corrupt"]
   in  any (`BSC.isInfixOf` BSC.pack fn) xs
 
-suiteFileExpect :: (Binary a, Eq a, Show a) => FilePath -> Expect (PropertyT IO) a ByteString (Either GetError a)
+suiteFileExpect
+  :: (Binary a, Eq a, Show a, MonadTest m, MonadIO m) => FilePath -> Expect m a ByteString (Either GetError a)
 suiteFileExpect fn =
   if shouldFail fn
     then expectCodecErr
@@ -120,15 +121,14 @@
       (MO.Msg "/oscillator/4/frequency" (Seq.singleton (MO.DatumFloat 440.0)))
   ]
 
--- Increase number of examples with TASTY_FALSIFY_TESTS=1000 etc
 main :: IO ()
 main = do
   files <- findFiles
   fileCases <- traverse suiteFileRT files
   testMain $ \lim ->
-    let testGenCases = testGroup "Gen" (fmap (testRT lim) genCases)
-        testFileCases = testGroup "File" (fmap (testRT lim) fileCases)
-        testUnitCases = testGroup "Unit" (fmap (testRT lim) unitCases)
+    let testGenCases = testGroup "Gen" (fmap (testRT (Just lim)) genCases)
+        testFileCases = testGroup "File" (fmap (testRT Nothing) fileCases)
+        testUnitCases = testGroup "Unit" (fmap (testRT Nothing) unitCases)
     in  testGroup
           "dahdit-midi"
           [ testGenCases
diff --git a/test/Test/Dahdit/Midi/GenDefault.hs b/test/Test/Dahdit/Midi/GenDefault.hs
--- a/test/Test/Dahdit/Midi/GenDefault.hs
+++ b/test/Test/Dahdit/Midi/GenDefault.hs
@@ -14,11 +14,10 @@
 import Data.List.NonEmpty qualified as NE
 import Data.Proxy (Proxy (..))
 import Data.Text qualified as T
-import Hedgehog (Gen)
-import Hedgehog.Gen qualified as Gen
-import Hedgehog.Range qualified as Range
 import Nanotime (NtpTime (..))
-import PropUnit (GenDefault (..), genDefaultEnum, genDefaultGeneric)
+import PropUnit (Gen, GenDefault (..), genDefaultEnum, genDefaultGeneric)
+import PropUnit.Hedgehog.Gen qualified as Gen
+import PropUnit.Hedgehog.Range qualified as Range
 import Test.Dahdit.GenDefault
   ( DahditTag
   , genFractional