eta reduction

eta reduction