map F nil nil map Z cons U V cons Z U map Z V treemap I node P X1 node I P map treemap I X1 F c c Z c c U c V b I a a P a X1 b cons c b b map c c b b nil b node a b c treemap a a c c FULL benchmarks/applicative/Applicative_05__TreeMap.atrs