main = do
  quickCheck (prop_product :: [Int] -> Bool)
  quickCheck (prop_flatten :: [[Int]] -> Bool)
  quickCheck (prop_flatten :: [[Char]] -> Bool)
  quickCheck (prop_flatten :: [[String]] -> Bool)
  quickCheck (prop_deleteAll :: Int -> [Int] -> Bool)
  quickCheck (prop_deleteAll :: Char -> [Char] -> Bool)
  quickCheck (prop_deleteAll :: String -> [String] -> Bool)
  quickCheck (prop_allDifferent :: [Int] -> Bool)
  quickCheck (prop_allDifferent :: [Char] -> Bool)
  quickCheck (prop_allDifferent :: [String] -> Bool)
main = do
  quickCheck (prop_product :: [Int] -> Bool)
  quickCheck (prop_flatten :: [[Int]] -> Bool)
  quickCheck (prop_flatten :: [[Char]] -> Bool)
  quickCheck (prop_flatten :: [[String]] -> Bool)
  quickCheck (prop_deleteAll :: Int -> [Int] -> Bool)
  quickCheck (prop_deleteAll :: Char -> [Char] -> Bool)
  quickCheck (prop_deleteAll :: String -> [String] -> Bool)
  quickCheck (prop_allDifferent :: [Int] -> Bool)
  quickCheck (prop_allDifferent :: [Char] -> Bool)
  quickCheck (prop_allDifferent :: [String] -> Bool)
main = do
  quickCheck (prop_product :: [Int] -> Bool)
  quickCheck (prop_flatten :: [[Int]] -> Bool)
  quickCheck (prop_flatten :: [[Char]] -> Bool)
  quickCheck (prop_flatten :: [[String]] -> Bool)
  quickCheck (prop_deleteAll :: Int -> [Int] -> Bool)
  quickCheck (prop_deleteAll :: Char -> [Char] -> Bool)
  quickCheck (prop_deleteAll :: String -> [String] -> Bool)
  quickCheck (prop_allDifferent :: [Int] -> Bool)
  quickCheck (prop_allDifferent :: [Char] -> Bool)
  quickCheck (prop_allDifferent :: [String] -> Bool)