Try to clarify some of the alternatives a bit

Author: kavon

proposals/NNNN-suppressed-associated-types.md

@@ -816,9 +816,9 @@ extension Container without Escaping {}
 
 extension Container without Copying, Escaping {} // fully unconstrained in -version
 
-// For generic signatures in other positions, we could have syntax 
-// that allows you to refer to constraintsets like a member:
-func f<T: Container, V: Container>() without T: Container.Copying {}
+// We could have syntax  that allows you to refer to constraintsets like a member,
+// to opt out a generic type parameter from multiple protocol's constrainsets:
+func f<T: Container & Filterable>() without T: Container.Copying, Filterable.Copying  {}
 ```
 
 This functionality might also be used for future evolution. Let’s say we add a third suppressable protocol Runcible in the future, and we want to generalize Container to allow for `~Runcible` elements. We can suppress the Runcible requirement on Self and `Self.Element` along with a new default constraint set that reinstates the requirements for existing code. Existing code would continue to apply all of the default sets, and doesn’t know about the new constraint set yet, so would not suppress the newly lifted requirements: