eta reduction

See eta conversion.