¤ serCompLeftToRightF, serCompRightToLeftF

Plumbing: turning parallel compositions into serial compositions

Types

serCompLeftToRightF :: F (a ⊕ b) (b ⊕ c) -> F a c
serCompRightToLeftF :: F (a ⊕ b) (c ⊕ a) -> F b c

Alternative serial composition combinators.

The following equations hold:

 	left>==<right
=	serCompF left right
=	serCompRightToLeftF (left>+<right)
=	serCompLeftToRightF (right>+<left)