import Test.Framework (defaultMain) import Tests (tests) main :: IO () main = defaultMain tests