Split the input between the two argument arrows and combine their
output. Note that this is in general not a functor.
The default definition may be overridden with a more efficient version
if desired.
b ╭─────╮ b'
>───┼─ f ─┼───>
>───┼─ g ─┼───>
c ╰─────╯ c'