Understanding `zipRight` and `zipLeft` Equivalence - Effect Community