swap L and R in Eventually structures