combinators implemented (test case started)