prop_monoid :: (Eq a, Show a, Arbitrary a) => a -> (a -> a -> a) -> PropBox
prop_monoid iden f = propGroup "monoid" [ prop_associative f , prop_identity iden f ]
prop_monoid :: (Eq a, Show a, Arbitrary a) => a -> (a -> a -> a) -> PropBox
prop_monoid iden f = propGroup "monoid" [ prop_associative f , prop_identity iden f ]
prop_monoid iden f = propGroup "monoid" [ prop_associative f , prop_identity iden f ]