prop_sameAsReflexive :: SetOf e s => s -> Bool
prop_sameAsReflexive x = x `sameAs` x
prop_sameAsReflexive :: SetOf e s => s -> Bool
prop_sameAsReflexive x = x `sameAs` x
prop_sameAsReflexive x = x `sameAs` x