prop_unionAssociative :: SetOf e s => s -> s -> s -> Bool
prop_unionAssociative = prop_associative union
prop_unionAssociative :: SetOf e s => s -> s -> s -> Bool
prop_unionAssociative = prop_associative union
prop_unionAssociative = prop_associative union