:: x a c -> x b d -> x (Either a b) (Either c d) package:monoidal-functors

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