DIAG: eta-reduce