eta reduction on reverse