Open
Description
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.