eta abstraction

eta abstraction