compF :: F a b -> F c d -> F (a ⊕ c) (b ⊕ d) >+< :: F a b -> F c d -> F (a ⊕ c) (b ⊕ d)
compF fl fr
compFoperate in parallel, indepdenetly of one another. The high level output streams from the individual fudgets are tagged and merged into a single stream. The input stream, which must be tagged, is split up and fed to the appropriate fudget.
>+< is an infix version of
Rightare sent to the left and right fudgets, respectively.
fl :: F a b
fr :: F c d