loopCompThroughRightF :: F ((a ⊕ b) ⊕ c) ((c ⊕ d) ⊕ a) -> F b d loopCompThroughLeftF :: F (a ⊕ (b ⊕ c)) (b ⊕ (a ⊕ d)) -> F c d
Variants of loopThroughRightF. The argument is usually a parallel composition of two fudgets.
loopThroughRightF f1 f2 = loopCompThroughRightF (f1>+<f2)
Other combinators that operate on parallel compositions: serCompRightToLeftF et al.