module Main (main) where

-- import Test.Tasty

main :: IO ()
main = pure () -- defaultMain =<< tests

-- tests :: IO TestTree
-- tests = pure []