On Fri, Mar 8, 2013 at 10:37 AM, Andreas Abel <andreas.abel at ifi.lmu.de> wrote: > you might wanna talk to Andres Sicard-Ramirez who very recently asked a > similar question on this list. Actually, I asked the opposite question: How disable the eta-reduction. If this is what you need, please let me know. Best, -- Andrés