Test.Hspec.QuickCheck
property
prop