要么
条带左侧:: 一 ⊕ b条 ->也许吧 一 strip右:: a1级 ⊕ a2类 ->也许吧 a2类 strip其中之一: 一 ⊕ 一 -> 一 过滤器左侧::[ b1号机组 ⊕ b2级 ]->[ b1号机组 ] 过滤器右::[ 一 ⊕ b条 ] -> [ b条 ] 向左:: 一 ⊕ b条 ->布尔 正确:: 一 ⊕ b条 ->布尔 map其中之一:( t1时间 -> 一 ) -> ( t2时间 -> b条 )-> t1时间 ⊕ t2时间 -> 一 ⊕ b条 swap其中之一: b条 ⊕ 一 -> 一 ⊕ b条 splitEitherList::[ a1级 ⊕ a2类 ] -> ([ a1级 ], [ a2类 ]) 从左起: 一 ⊕ b条 -> 一 从右侧: 一 ⊕ b条 -> b条