factor/basis/combinators
..
short-circuit
smart