{-# LANGUAGE Unsafe #-} -- unsafe: Uses functions imported from unsafe modules
import Test.Data.Map.Implicit qualified
import Test.Tasty qualified as Tasty

main :: IO ()
main = Tasty.defaultMain $ Tasty.testGroup "all"
  [ Tasty.testGroup "Properties"
    [ Test.Data.Map.Implicit.testGroup
    ]
  ]