test cd tests ; runhaskell Properties.hs