prop_identity :: (Eq a, Show a, Arbitrary a) => a -> (a -> a -> a) -> PropBox
prop_identity iden f = propGroup "identity" [prop_leftIdentity iden f, prop_rightIdentity iden f]
prop_identity :: (Eq a, Show a, Arbitrary a) => a -> (a -> a -> a) -> PropBox
prop_identity iden f = propGroup "identity" [prop_leftIdentity iden f, prop_rightIdentity iden f]
prop_identity iden f = propGroup "identity" [prop_leftIdentity iden f, prop_rightIdentity iden f]