module Main where

import           Properties
import           Test.QuickCheck

main = tests