Factoring and thinking about combinators