数据 消息 一 b条 =低 一 |高 b条 实例 Functor（消息 一 ) 实例 （等式 一 ，等式 b条 )=>等式（消息 一 b条 ) 实例 （命令 一 ，订单 b条 )=>订单（消息 一 b条 ) 实例 （显示 一 ，显示 b条 )=>显示（消息 一 b条 ) 高：：消息 一 b条 ->布尔 低：：消息 一 b条 ->布尔 stripHigh:：消息 a1级 a2类 ->也许吧 a2类 stripLow:：消息 一 b条 ->也许吧 一 映射消息：：( t1时间 -> 一 ) -> ( t2时间 -> b条 )->消息 t1时间 t2时间 ->消息 一 b条 a低：：( t吨 -> 一 )->消息 t吨 b条 ->消息 一 b条 a高：：( t吨 -> b条 )->消息 一 t吨 ->消息 一 b条 pushMsg:：函数 （f） =>消息( （f） a1级 ) ( （f） a2类 ) -> （f） （消息 a1级 a2类 )
