HOF and currying