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