Don't eta-expand unnecessarily.