module Main (main) where import qualified TestHomogeneousSet as HSET import qualified TestHomogeneousFunction as HFUNCT import qualified TestPureSet as PSET main :: IO () main = do putStrLn "Beginning of the test." HSET.main HFUNCT.main PSET.main putStrLn "End of the tests."