eta abstraction

eta abstraction in Technology