either fold left and right, because L+R->((L->R)->R) and L+R->((R->L)->L)