feat[tests]: Use tasty for hierarchical tests

test/Spec.hs

@@ -1,9 +1,12 @@
 {-# LANGUAGE Unsafe #-} -- unsafe: Uses functions imported from unsafe modules
 import System.IO (IO)
-import Control.Applicative (pure)
 import Test.Data.Map.Implicit qualified
+import Test.Tasty qualified as Tasty
+import Data.Function (($))
 
 main :: IO ()
-main = do
-  _ <- Test.Data.Map.Implicit.runTests
-  pure ()
+main = Tasty.defaultMain $ Tasty.testGroup "all"
+  [ Tasty.testGroup "Properties"
+    [ Test.Data.Map.Implicit.testGroup
+    ]
+  ]