module Main where

import PropertyTests

main :: IO ()
main = runTests