Currently we can run things in parallel but not branch over task outputs.
Two things are missing:

• At first a branching combinator over boolean values (or Either a b)
• The ability to desugar regular haskell pattern-matching into these combinators, for any ADT.