computation by combinator