currying and by-name parameters