Îõ³h&XM Safe-InferredGchell-quickcheck)Convert a QuickCheck property to a Chell . Åimport Test.Chell import Test.Chell.QuickCheck import Test.QuickCheck hiding (property) test_NullLength :: Test test_NullLength = property "null-length" (xs -> not (null xs) ==> length xs > 0) /chell-quickcheck-0.2.5.4-86VgjKuPci915dX1pOPIbZTest.Chell.QuickCheckproperty$chell-0.5.0.1-BgA54QG9tpk8IL5EfKVfERTest.Chell.TypesTest