EtaReduction fun(...args) { return return f(...args) } ==> f.