Object-oriented functional combinators