Function partial applications and currying