serCompF :: F a1 b -> F a2 a1 -> F a2 b >==< :: F a1 b -> F a2 a1 -> F a2 b
serCompF fl fr
serCompFconnects the output of one fudget to the input of another fudget, and can be seen as ordinary function composition adapted for fudgets.
>==< is an infix version of
fl :: F a1 b
fr :: F a2 a1
Parallel composition: >+<.
The corresponding stream processor combinator: serCompSP.