def any_pass(ps, v): return reduce(either, always(False), ps)(v)
def all_pass(ps, v): return reduce(both, always(True), ps)(v)