module Main where import Properties (runTests) import Test.QuickCheck main = runTests