地图状态:( t -> 一 -> ( t , [ b ])) -> t -> F 一 b
地图状态stf s0
地图斯塔夫
stf公司
stf公司
stf公司 :: t -> 一 -> ( t , [ b ])
stf公司
第0页 :: t
countF=mapstateF count 0,其中count n=(n+1,[n+1])
sumF=mapstateF add 0,其中add acc n=(acc+n,[acc+n])
mapstateF stf s0=absF(concatMapAccumlSP stf s0)