Test.Chell.QuickCheck

property