Eta-reduction in instances.