eta reduction on last