comp_f_g#1plus_xx3comp_f_gx1x20plus_x#1x3comp_f_g#1x1x20comp_f_g#1plus_xx3id0plus_x#1x30map#2NilNilmap#2Consx16x6Consplus_xx16map#2x6plus_x#10x6x6plus_x#1Sx8x10Splus_x#1x8x10foldr_f#3Nil00foldr_f#3Consx16x5x24comp_f_g#1x16foldr#3x5x24foldr#3Nilidfoldr#3Consx32x6comp_f_gx32foldr#3x6mainx3foldr_f#3map#2x30comp_f_g#13plus_x1comp_f_g200plus_x#12id0map#21Nil0Cons2S1foldr_f#32foldr#31main1INNERMOSThoca/foldsum.trs