mapFnilnilmapZconsUVconsZUmapZVsumconsWPplusWsumPsizenodeX1Y1ssummapsizeY1plus0U10plussV1W1splusV1W1FccZccUcVbWcPbX1aY1bU1cV1cW1c0cconscbbmapccbbnilbnodeabcpluscccsccsizeccsumbcFULLbenchmarks/applicative/Applicative_05__TreeSize.atrs