main :: IO ()
main =
  quickCheckWith (stdArgs { maxSuccess = 10000, maxSize = 200 }) $
      (label "prop_message" prop_message)
  .&. (label "prop_prefix" prop_prefix)
  .&. (label "prop_command" prop_command)
  .&. (label "prop_params" prop_params)
main :: IO ()
main =
  quickCheckWith (stdArgs { maxSuccess = 10000, maxSize = 200 }) $
      (label "prop_message" prop_message)
  .&. (label "prop_prefix" prop_prefix)
  .&. (label "prop_command" prop_command)
  .&. (label "prop_params" prop_params)
main =
  quickCheckWith (stdArgs { maxSuccess = 10000, maxSize = 200 }) $
      (label "prop_message" prop_message)
  .&. (label "prop_prefix" prop_prefix)
  .&. (label "prop_command" prop_command)
  .&. (label "prop_params" prop_params)