map F nil nil map Z cons U V cons Z U map Z V sum cons W P plus W sum P size node X1 Y1 s sum map size Y1 plus 0 U1 0 plus s V1 W1 s plus V1 W1 F c c Z c c U c V b W c P b X1 a Y1 b U1 c V1 c W1 c 0 c cons c b b map c c b b nil b node a b c plus c c c s c c size c c sum b c FULL benchmarks/applicative/Applicative_05__TreeSize.atrs