map F nil nil map Z cons U V cons Z U map Z V append W nil W append nil P P append cons X1 Y1 U1 cons X1 append Y1 U1 zip nil V1 V1 zip W1 nil W1 zip cons P1 X2 cons Y2 U2 cons append P1 Y2 zip X2 U2 combine V2 nil V2 combine W2 cons P2 X3 combine zip W2 P2 X3 levels node Y3 U3 cons cons Y3 nil combine nil map levels U3 F a a Z a a U a V a W a P a X1 a Y1 a U1 a V1 a W1 a P1 a X2 a Y2 a U2 a V2 a W2 a P2 a X3 a Y3 a U3 a append a a a combine a a a cons a a a levels a a map a a a a nil a node a a a zip a a a FULL benchmarks/applicative/Applicative_05__TreeLevels.atrs