eta abstraction

See eta conversion.