P.join 中的 ~ 的疑问

imagepng

根据 p.join 的定义,在最后的参数为 T 中的表达式

imagepng

A6 中的疑问
1、这个
代表的是 A3 中的每一个元素吗?
2、如果代表 A3 中的每一个元素,那感觉没有必要,因为在后续应用的时候,完全可以使用 A6 直接进行应用,
如果代码是 A5 的元素,那么 根据之前的规定,~ 应该还 A3 的元素?