úΚx Safe-Infered)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"  (x&s -> not (null xs) ==> length xs > 0) chell-quickcheck-0.2Test.Chell.QuickCheckproperty chell-0.3Test.Chell.TypesTest