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

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