# ¤ idRightF, idLeftF, et al

Plumbing: common patterns of serial and parallel compositions
## Types

idRightF :: F `a` `b` -> F (Either `a` `c`) (Either `b` `c`)
idLeftF :: F `a` `b` -> F (Either `c` `a`) (Either `c` `b`)
toBothF :: F `a` (Either `a` `a`)
throughF :: F `a` `b` -> F `a` (Either `b` `a`)
bypassF :: F `a` `a` -> F `a` `a`
stubF :: F `a` `b` -> F `c` `d`

## Description

Various plumbing combinators.

## Equalities

idRightF f = f >+< idF
idLeftF f = idF >+< f
throughF f = idRightF f >==< toBothF
bypassF f = stripEither >^=< throughF f

## See Also

absF, idF, >+<.

## Bugs

Documentation is incomlpete.