`all`-like combinators refactoring