serCompF :: F a1 b -> F a2 a1 -> F a2 b >==< :: F a1 b -> F a2 a1 -> F a2 b
serCompF fl fr
serCompF connects 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 serCompF.
fl :: F a1 bfr :: F a2 a1
Parallel composition: >+<.
The corresponding stream processor combinator: serCompSP.