compF :: F a b -> F c d -> F (Either a c) (Either b d) >+< :: F a b -> F c d -> F (Either a c) (Either b d) infixl 5 >+<
compF fl fr
type Either = ??
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