()
main = do
  quickCheck prop_signum
  quickCheck prop_div_quot

main ∷ IO ()
main = do
  quickCheck prop_signum
  quickCheck prop_div_quot
main = do
  quickCheck prop_signum
  quickCheck prop_div_quot