Follow-up from "Optimized notations for pairs"

The following discussion from !353 (merged) should be addressed:

• @mbouaziz started a discussion: (+2 comments)

  We could even go further and allow the sequence notation for any tree of pairs.

  I also did the same for or comb types in branch mehdi@ors