prop_rightIdentity :: (Eq a, Show a, Arbitrary a) => a -> (a -> a -> a) -> PropBox
prop_rightIdentity iden f = atomProp "rigth identity" prop
  where prop x = f x iden == x
prop_rightIdentity :: (Eq a, Show a, Arbitrary a) => a -> (a -> a -> a) -> PropBox
prop_rightIdentity iden f = atomProp "rigth identity" prop
  where prop x = f x iden == x
prop_rightIdentity iden f = atomProp "rigth identity" prop
  where prop x = f x iden == x