prop_unionCommutative :: SetOf e s => s -> s -> Bool
prop_unionCommutative = prop_commutative union
prop_unionCommutative :: SetOf e s => s -> s -> Bool
prop_unionCommutative = prop_commutative union
prop_unionCommutative = prop_commutative union