idSP:: 服务提供商 b条 b条 过滤器SP::( b条 ->布尔)-> 服务提供商 b条 b条 映射SP::( t吨 -> b条 )-> 服务提供商 t吨 b条 concatMapSP::( t吨 ->[ b条 ]) -> 服务提供商 t吨 b条 mapAccumlSP::( t吨 -> 一 -> ( t吨 , b条 )) -> t吨 -> 服务提供商 一 b条 concatMapAccumlSP::( t吨 -> 一 -> ( t吨 , [ b条 ])) -> t吨 -> 服务提供商 一 b条 concatSP:: 服务提供商 [ b条 ] b条 zipSP::[ 一 ] -> 服务提供商 b条 ( 一 , b条 ) 在元素SP::( 一 ->布尔)-> Cont(续) ( 服务提供商 一 b条 ) [ 一 ] 斩波SP::(( b条 -> 服务提供商 一 b条 )-> 服务提供商 一 b条 )-> 服务提供商 一 b条 幂等点SP :公式 一 => 服务提供商 一 一
类型 Cont(续) c(c) 一 = ( 一 -> c(c) )-> c(c)