Higher-order union combinator.