:: x a c -> x b d -> x (Either a b) (Either c d)

Split the input between the two arguments and sum their outputs.
Infix operator for demux.