eta abstraction
See
eta conversion
.