Avoid arity reduction when doing eta-reduce