function.dualarg with honest partial application to multiple arguments