Logical conditional. The equivalent of Prolog's soft-cut. If its
first argument succeeds at all, then the results will be fed into
the success branch. Otherwise, the failure branch is taken.
satisfies the following laws: