prop_sameAsTransitive :: SetOf e s => s -> s -> s -> Bool
prop_sameAsTransitive x y z =
  ((x `sameAs` y) && (y `sameAs` z)) `implies` (x `sameAs` z)
prop_sameAsTransitive :: SetOf e s => s -> s -> s -> Bool
prop_sameAsTransitive x y z =
  ((x `sameAs` y) && (y `sameAs` z)) `implies` (x `sameAs` z)
prop_sameAsTransitive x y z =
  ((x `sameAs` y) && (y `sameAs` z)) `implies` (x `sameAs` z)