¤ serCompLeftToRightF, serCompRightToLeftF

Plumbing: turning parallel compositions into serial compositions

Types

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

Alternative serial composition combinators.

The following equations hold:

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