import Test.QuickCheck
import Test.QuickCheck.Monadic
--import Test.QuickCheck.Batch

main :: IO ()
main = quickCheck prop_commutativeAdd

prop_commutativeAdd :: Integer -> Integer -> Bool
prop_commutativeAdd n m = n + m == m + n
{-
--prop_data :: String -> String -> String -> String -> Bool
dat :: String -> String -> String -> String -> IO Bool
dat w x y z = do
  addTask w x y z
  list <- qetTasks'
  let f = last list
  --putStrLn $ show f
  --putStrLn $ show $ [w,x,y,z]
  return ([title f, description f, due f, subject f] == [w,x,y,z])

prop_dat w x y z = monadicIO $ do
  date <- run (dat w x y z)
  assert date
-}