Intention/inspection about eta-convertible expressions

[knisht]

Sometimes it makes sense to replace a function passed as an argument with a lambda expression. It may arise when some implicit argument should be explicitly specified. Also, eta-long expressions may appear after the "extract function" refactoring or some debugging of type-checking errors. The IDE can provide refactoring, allowing replacing eta-long with eta-short expressions interchangeably.