... (a,b) c -> (b -> StFun a (b,c )) sf'curry (SF h) = fwhere f b = SF gwhere g a = (( b',c),a&apos ;) where (c,(a',b&apos ;)) = h (a,b)sf'uncur :: (b -> StFun a (b,c )) ... PictureevalSOS (cs,xs) (( (y,x),sof),(h0,h 1), _, _) = st'apply thePicture (xs,0,0,0 ]) where thePicture = picture mcuCount mcuSpecmcuSpec = map f csf (id,dc,ac) = (d, (upsCount d, qt, h0 dc, h1 ac )) where ... ac )) where (d,qt) = sof idmcuCount = ( ceilDiv y (8 *maxy), ceilDiv x (8 *maxx) ) upsCount (h,w) = ( maxy/h, maxx/w ) maxy = maximum ( map (fst.fst) mcuSpec ) maxx = maximum ( map (snd.fst) mcuSpec ) 6.2...