úΗA Safe-Infered Create a  for a QuickCheck2  property    !test-framework-quickcheck2-0.2.12$Test.Framework.Providers.QuickCheck2 testPropertytest-framework-0.5Test.Framework.CoreTestQuickCheck-2.4.2Test.QuickCheck.PropertyTestable#$fTestlikeIntPropertyResultProperty$fShowPropertyResult!$fTestResultlikeIntPropertyResult