n-ary application for the lambda language.