id右F:: F类 一 b条 -> F类 ( 一 ⊕ c(c) ) ( b条 ⊕ c(c) ) idLeftF:: F类 c(c) 天 -> F类 ( b条 ⊕ c(c) ) ( b条 ⊕ 天 ) 至两个F:: F类 b条 ( b条 ⊕ b条 ) 至F:: F类 c(c) b条 -> F类 c(c) ( b条 ⊕ c(c) ) 旁路F:: F类 一 一 -> F类 一 一 存根F:: F类 一 b条 -> F类 c(c) 天
idRightF f=f>+<idF idLeftF f=idF>+<f throughF f=idRightF f>=<到BothF 旁路f f=strip任一>^=<至f f