úÎ %      !"#$ 0Recurse through function to apply comparison to  . +Type which should be compared for equality )Result of comparison. Could be passed to  quickCheck /Compare value using custom comparison function Map property Zip properties #Values to be compared for equality  #Evaluate boolean expression inside          5Data type is used to fix concrete data in properties Convenience sinonym for   . Delay comparison for equality Both properties are true. One of properties is true Property is false Compare values using == /Convert values to types which could be compare CCompare with custom function. Just a shorter sinonym for equalWith     #Test that relation is reflective.  f x x = True "Test that function is commutative "Test that function is associative #Test that value is a left identity Left identity Associative operation #Test that value is a left identity Right identity Associative operation 0Test that value is both right and left identity Identity element Associative operation (Test that inverse operation is correct. Identity element Group operation Find inverse BTest that identity and associative operation satisfy monoid laws. Identity element Associative operation ITest that identity, associative operation and inverse satisfy group laws Identity element Associative operation Find inverse element    % is left identity % is right identity % is identity !& is associative "All properties of monoid   !" !" !"#  fmap id = id$It'?s not possible to generate arbitrary functions. Therefore they  are passed as arguments. f g #$#$#$'       !"#$%&'()*+)*,-quickcheck-properties-0.1(Test.QuickCheck.Property.Common.InternalTest.QuickCheck.Property.Common Test.QuickCheck.Property.GenericTest.QuickCheck.Property.Monoid Test.QuickCheck.Property.Functor EqualableResultCompared equalWithmapEqual zipEqualsEqualOrEAndENotErunEqualT.==..&&..||.notEeqeqOneqWithprop_Reflexiveprop_Commutativeprop_Associativeprop_LeftIdentityprop_RightIdentity prop_Identityprop_GroupInverseprop_GenMonoid prop_Groupprop_MonoidLeftprop_MonoidRightprop_MonoidIdentity prop_Mappend prop_Monoidprop_FunctorIdprop_FunctorComposebase Data.Monoidmemptymappend