map
F
nil
nil
map
Z
cons
U
V
cons
Z
U
map
Z
V
flatten
node
W
P
cons
W
concat
map
flatten
P
concat
nil
nil
concat
cons
X1
Y1
append
X1
concat
Y1
append
nil
U1
U1
append
cons
V1
W1
P1
cons
V1
append
W1
P1
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
append
a
a
a
concat
a
a
cons
a
a
a
flatten
a
a
map
a
a
a
a
nil
a
node
a
a
a
FULL
benchmarks/applicative/Applicative_05__TreeFlatten.atrs