prop_sameAsSymmetric :: SetOf e s => s -> s -> Bool
prop_sameAsSymmetric x y = (x `sameAs` y) == (y `sameAs` x)
prop_sameAsSymmetric :: SetOf e s => s -> s -> Bool
prop_sameAsSymmetric x y = (x `sameAs` y) == (y `sameAs` x)
prop_sameAsSymmetric x y = (x `sameAs` y) == (y `sameAs` x)