eta reduction
See
eta conversion
.