我试图理解 E.altW 和 E.orElse 之间的差异，但两者似乎都是一样的。例如，我可以构造一个 Semigroup，它使用其中任何一个连接解析函数： import * as E from '...