Test.Chell.QuickCheck
property