úÎij    2015 Kei HibinoBSD3ex8k.hibino@gmail.com experimentalunknown Safe-InferredTest error result.Property with label stringProperty type.   or   of QuickCheck.  specialized property QuickCheck   property Run a single test suite.  Default main to run test suites. Not verbose version of  .           quickcheck-simple-0.0.1.0Test.QuickCheck.Simple TestErrorQCErrorBFalseTestProperty QuickCheckBoolboolTestqcTestrunTest defaultMain' defaultMainghc-prim GHC.TypesQuickCheck-2.8.1Test.QuickCheck.PropertyTestable putErrorLnrunBool runQcProprunProprunPropL