Left fold in terms of right fold