Solving combinator exercices