Eta-expand and curry meta when pruning.